Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
10th Working Conference on Reverse Engineering : WCRE 2003 : proceedings : Victoria, B.C., Canada, 13-16 November, 2003
| 10th Working Conference on Reverse Engineering : WCRE 2003 : proceedings : Victoria, B.C., Canada, 13-16 November, 2003 |
| Pubbl/distr/stampa | [Place of publication not identified], : IEEE Computer Society, 2003 |
| Disciplina | 005.1/6 |
| Soggetto topico |
Reverse engineering
Systems software Software engineering Mechanical Engineering Engineering & Applied Sciences Industrial & Management Engineering |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996214794403316 |
| [Place of publication not identified], : IEEE Computer Society, 2003 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
10th Working Conference on Reverse Engineering : WCRE 2003 : proceedings : Victoria, B.C., Canada, 13-16 November, 2003
| 10th Working Conference on Reverse Engineering : WCRE 2003 : proceedings : Victoria, B.C., Canada, 13-16 November, 2003 |
| Pubbl/distr/stampa | [Place of publication not identified], : IEEE Computer Society, 2003 |
| Disciplina | 005.1/6 |
| Soggetto topico |
Reverse engineering
Systems software Software engineering Mechanical Engineering Engineering & Applied Sciences Industrial & Management Engineering |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910872551103321 |
| [Place of publication not identified], : IEEE Computer Society, 2003 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Advances in Artificial Intelligence [[electronic resource] ] : 14th Biennial Conference of the Canadian Society for Computational Studies of Intelligence, AI 2001 Ottawa, Canada, June 7-9, 2001 Proceedings / / edited by Eleni Stroulia, Stan Matwin
| Advances in Artificial Intelligence [[electronic resource] ] : 14th Biennial Conference of the Canadian Society for Computational Studies of Intelligence, AI 2001 Ottawa, Canada, June 7-9, 2001 Proceedings / / edited by Eleni Stroulia, Stan Matwin |
| Edizione | [1st ed. 2001.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2001 |
| Descrizione fisica | 1 online resource (XII, 372 p.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Artificial Intelligence |
| ISBN | 3-540-45153-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | A Case Study for Learning from Imbalanced Data Sets -- A Case Study for Learning from Imbalanced Data Sets -- A Holonic Multi-agent Infrastructure for Electronic Procurement -- A Holonic Multi-agent Infrastructure for Electronic Procurement -- A Low-Scan Incremental Association Rule Maintenance Method Based on the Apriori Property -- A Low-Scan Incremental Association Rule Maintenance Method Based on the Apriori Property -- A Statistical Corpus-Based Term Extractor -- A Statistical Corpus-Based Term Extractor -- Body-Based Reasoning Using a Feeling-Based Lexicon, Mental Imagery, and an Object-Oriented Metaphor Hierarchy -- Body-Based Reasoning Using a Feeling-Based Lexicon, Mental Imagery, and an Object-Oriented Metaphor Hierarchy -- Combinatorial Auctions, Knapsack Problems, and Hill-Climbing Search -- Combinatorial Auctions, Knapsack Problems, and Hill-Climbing Search -- Concept-Learning in the Presence of Between-Class and Within-Class Imbalances -- Concept-Learning in the Presence of Between-Class and Within-Class Imbalances -- Constraint Programming Lessons Learned from Crossword Puzzles -- Constraint Programming Lessons Learned from Crossword Puzzles -- Constraint-Based Vehicle Assembly Line Sequencing -- Constraint-Based Vehicle Assembly Line Sequencing -- How AI Can Help SE; or: Randomized Search Not Considered Harmful -- How AI Can Help SE; or: Randomized Search Not Considered Harmful -- Imitation and Reinforcement Learning in Agents with Heterogeneous Actions -- Imitation and Reinforcement Learning in Agents with Heterogeneous Actions -- Knowledge and Planning in an Action-Based Multi-agent Framework: A Case Study -- Knowledge and Planning in an Action-Based Multi-agent Framework: A Case Study -- Learning about Constraints by Reflection -- Learning about Constraints by Reflection -- Learning Bayesian Belief Network Classifiers: Algorithms and System -- Learning Bayesian Belief Network Classifiers: Algorithms and System -- Local Score Computation in Learning Belief networks -- Local Score Computation in Learning Belief networks -- Personalized Contexts in Help Systems -- Personalized Contexts in Help Systems -- QA-LaSIE: A Natural Language Question answering system -- QA-LaSIE: A Natural Language Question answering system -- Search Techniques for Non-Linear Constraint Satisfaction Problems with Inequalities -- Search Techniques for Non-Linear Constraint Satisfaction Problems with Inequalities -- Searching for Nacro Operators with Automatically Generated Heuristics -- Searching for Nacro Operators with Automatically Generated Heuristics -- Solving Multiple-Instance and Multiple-Part Learning Problems with Decision Trees and Rule Sets. Application to the Mutagenesis Problem -- Solving Multiple-Instance and Multiple-Part Learning Problems with Decision Trees and Rule Sets. Application to the Mutagenesis Problem -- Stacking for Misclassiffication Cost Performance -- Stacking for Misclassiffication Cost Performance -- Stratified Partial-Order Logic Programming -- Stratified Partial-Order Logic Programming -- The Importance of Being Discrete: Learning Classes of Actions and Outcomes through Interaction -- The Importance of Being Discrete: Learning Classes of Actions and Outcomes through Interaction -- User Interface Aspects of a Translation Typing System -- User Interface Aspects of a Translation Typing System -- Posters -- A Hybrid Approach to Making Recommendations and Its Application to the Movie Domain -- Agents with Genders for Inventory Planning in E-Management -- Agents with Genders for Inventory Planning in E-Management -- Évaluation d’un Système pour le Résumé Automatique de Documents ÉLectroniques -- Évaluation d’un Système pour le Résumé Automatique de Documents ÉLectroniques -- On Obligations, Relativised Obligations, and Bilateral Commitments -- On Obligations, Relativised Obligations, and Bilateral Commitments -- Question Answering Using Unification-Based Grammar -- Question Answering Using Unification-Based Grammar -- Solving the Traveling Salesman Problem Using the Enhanced Genetic Algorithm -- Solving the Traveling Salesman Problem Using the Enhanced Genetic Algorithm -- The Bottom-Up Freezing: An Approach to Neural Engineering -- The Bottom-Up Freezing: An Approach to Neural Engineering -- The Design and Implementation of an Electronic Lexical Knowledge Base -- The Design and Implementation of an Electronic Lexical Knowledge Base -- Towards a Temporal Extension of Formal Concept analysis -- Towards a Temporal Extension of Formal Concept analysis -- Graduate Symposium Contributions -- Adaptive Representation Methods for Reinforcement Learning -- Imprecise and Uncertain REngineering Information Modeling in Databases -- Incremental Case-Based Reasoning for Classification -- Incremental Case-Based Reasoning for Classification -- Planning Animations Using Cinematography Knowledge -- Planning Animations Using Cinematography Knowledge -- Watching You, Watching Me -- Watching You, Watching Me. |
| Record Nr. | UNISA-996465901203316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2001 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Advances in Artificial Intelligence : 14th Biennial Conference of the Canadian Society for Computational Studies of Intelligence, AI 2001 Ottawa, Canada, June 7-9, 2001 Proceedings / / edited by Eleni Stroulia, Stan Matwin
| Advances in Artificial Intelligence : 14th Biennial Conference of the Canadian Society for Computational Studies of Intelligence, AI 2001 Ottawa, Canada, June 7-9, 2001 Proceedings / / edited by Eleni Stroulia, Stan Matwin |
| Edizione | [1st ed. 2001.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2001 |
| Descrizione fisica | 1 online resource (XII, 372 p.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Artificial Intelligence |
| ISBN | 3-540-45153-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | A Case Study for Learning from Imbalanced Data Sets -- A Case Study for Learning from Imbalanced Data Sets -- A Holonic Multi-agent Infrastructure for Electronic Procurement -- A Holonic Multi-agent Infrastructure for Electronic Procurement -- A Low-Scan Incremental Association Rule Maintenance Method Based on the Apriori Property -- A Low-Scan Incremental Association Rule Maintenance Method Based on the Apriori Property -- A Statistical Corpus-Based Term Extractor -- A Statistical Corpus-Based Term Extractor -- Body-Based Reasoning Using a Feeling-Based Lexicon, Mental Imagery, and an Object-Oriented Metaphor Hierarchy -- Body-Based Reasoning Using a Feeling-Based Lexicon, Mental Imagery, and an Object-Oriented Metaphor Hierarchy -- Combinatorial Auctions, Knapsack Problems, and Hill-Climbing Search -- Combinatorial Auctions, Knapsack Problems, and Hill-Climbing Search -- Concept-Learning in the Presence of Between-Class and Within-Class Imbalances -- Concept-Learning in the Presence of Between-Class and Within-Class Imbalances -- Constraint Programming Lessons Learned from Crossword Puzzles -- Constraint Programming Lessons Learned from Crossword Puzzles -- Constraint-Based Vehicle Assembly Line Sequencing -- Constraint-Based Vehicle Assembly Line Sequencing -- How AI Can Help SE; or: Randomized Search Not Considered Harmful -- How AI Can Help SE; or: Randomized Search Not Considered Harmful -- Imitation and Reinforcement Learning in Agents with Heterogeneous Actions -- Imitation and Reinforcement Learning in Agents with Heterogeneous Actions -- Knowledge and Planning in an Action-Based Multi-agent Framework: A Case Study -- Knowledge and Planning in an Action-Based Multi-agent Framework: A Case Study -- Learning about Constraints by Reflection -- Learning about Constraints by Reflection -- Learning Bayesian Belief Network Classifiers: Algorithms and System -- Learning Bayesian Belief Network Classifiers: Algorithms and System -- Local Score Computation in Learning Belief networks -- Local Score Computation in Learning Belief networks -- Personalized Contexts in Help Systems -- Personalized Contexts in Help Systems -- QA-LaSIE: A Natural Language Question answering system -- QA-LaSIE: A Natural Language Question answering system -- Search Techniques for Non-Linear Constraint Satisfaction Problems with Inequalities -- Search Techniques for Non-Linear Constraint Satisfaction Problems with Inequalities -- Searching for Nacro Operators with Automatically Generated Heuristics -- Searching for Nacro Operators with Automatically Generated Heuristics -- Solving Multiple-Instance and Multiple-Part Learning Problems with Decision Trees and Rule Sets. Application to the Mutagenesis Problem -- Solving Multiple-Instance and Multiple-Part Learning Problems with Decision Trees and Rule Sets. Application to the Mutagenesis Problem -- Stacking for Misclassiffication Cost Performance -- Stacking for Misclassiffication Cost Performance -- Stratified Partial-Order Logic Programming -- Stratified Partial-Order Logic Programming -- The Importance of Being Discrete: Learning Classes of Actions and Outcomes through Interaction -- The Importance of Being Discrete: Learning Classes of Actions and Outcomes through Interaction -- User Interface Aspects of a Translation Typing System -- User Interface Aspects of a Translation Typing System -- Posters -- A Hybrid Approach to Making Recommendations and Its Application to the Movie Domain -- Agents with Genders for Inventory Planning in E-Management -- Agents with Genders for Inventory Planning in E-Management -- Évaluation d’un Système pour le Résumé Automatique de Documents ÉLectroniques -- Évaluation d’un Système pour le Résumé Automatique de Documents ÉLectroniques -- On Obligations, Relativised Obligations, and Bilateral Commitments -- On Obligations, Relativised Obligations, and Bilateral Commitments -- Question Answering Using Unification-Based Grammar -- Question Answering Using Unification-Based Grammar -- Solving the Traveling Salesman Problem Using the Enhanced Genetic Algorithm -- Solving the Traveling Salesman Problem Using the Enhanced Genetic Algorithm -- The Bottom-Up Freezing: An Approach to Neural Engineering -- The Bottom-Up Freezing: An Approach to Neural Engineering -- The Design and Implementation of an Electronic Lexical Knowledge Base -- The Design and Implementation of an Electronic Lexical Knowledge Base -- Towards a Temporal Extension of Formal Concept analysis -- Towards a Temporal Extension of Formal Concept analysis -- Graduate Symposium Contributions -- Adaptive Representation Methods for Reinforcement Learning -- Imprecise and Uncertain REngineering Information Modeling in Databases -- Incremental Case-Based Reasoning for Classification -- Incremental Case-Based Reasoning for Classification -- Planning Animations Using Cinematography Knowledge -- Planning Animations Using Cinematography Knowledge -- Watching You, Watching Me -- Watching You, Watching Me. |
| Record Nr. | UNINA-9910143603603321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2001 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Service-Oriented Computing [[electronic resource] ] : 14th International Conference, ICSOC 2016, Banff, AB, Canada, October 10-13, 2016, Proceedings / / edited by Quan Z. Sheng, Eleni Stroulia, Samir Tata, Sami Bhiri
| Service-Oriented Computing [[electronic resource] ] : 14th International Conference, ICSOC 2016, Banff, AB, Canada, October 10-13, 2016, Proceedings / / edited by Quan Z. Sheng, Eleni Stroulia, Samir Tata, Sami Bhiri |
| Edizione | [1st ed. 2016.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
| Descrizione fisica | 1 online resource (XXII, 849 p. 259 illus.) |
| Disciplina | 004.654 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Application software Management information systems Computer science Information technology Business—Data processing Computer communication systems Information storage and retrieval Software Engineering Information Systems Applications (incl. Internet) Management of Computing and Information Systems IT in Business Computer Communication Networks Information Storage and Retrieval |
| ISBN | 3-319-46295-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Business Process Management -- Business Process Modeling -- Cloud and Internet of Services/Things -- Service Analytics -- Service Economy -- Service Management -- Service Recommandation -- Service UIs, APIs and Mashup -- Service/Process Foundation -- Social Services -- Business Process Modeling -- Service Design -- Service in Organization. |
| Record Nr. | UNISA-996466242803316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Service-Oriented Computing : 14th International Conference, ICSOC 2016, Banff, AB, Canada, October 10-13, 2016, Proceedings / / edited by Quan Z. Sheng, Eleni Stroulia, Samir Tata, Sami Bhiri
| Service-Oriented Computing : 14th International Conference, ICSOC 2016, Banff, AB, Canada, October 10-13, 2016, Proceedings / / edited by Quan Z. Sheng, Eleni Stroulia, Samir Tata, Sami Bhiri |
| Edizione | [1st ed. 2016.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
| Descrizione fisica | 1 online resource (XXII, 849 p. 259 illus.) |
| Disciplina | 004.654 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Application software Management information systems Computer science Information technology Business—Data processing Computer communication systems Information storage and retrieval Software Engineering Information Systems Applications (incl. Internet) Management of Computing and Information Systems IT in Business Computer Communication Networks Information Storage and Retrieval |
| ISBN | 3-319-46295-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Business Process Management -- Business Process Modeling -- Cloud and Internet of Services/Things -- Service Analytics -- Service Economy -- Service Management -- Service Recommandation -- Service UIs, APIs and Mashup -- Service/Process Foundation -- Social Services -- Business Process Modeling -- Service Design -- Service in Organization. |
| Record Nr. | UNINA-9910484501303321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Web Services – ICWS 2019 [[electronic resource] ] : 26th International Conference, Held as Part of the Services Conference Federation, SCF 2019, San Diego, CA, USA, June 25–30, 2019, Proceedings / / edited by John Miller, Eleni Stroulia, Kisung Lee, Liang-Jie Zhang
| Web Services – ICWS 2019 [[electronic resource] ] : 26th International Conference, Held as Part of the Services Conference Federation, SCF 2019, San Diego, CA, USA, June 25–30, 2019, Proceedings / / edited by John Miller, Eleni Stroulia, Kisung Lee, Liang-Jie Zhang |
| Edizione | [1st ed. 2019.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
| Descrizione fisica | 1 online resource (X, 191 p. 83 illus., 69 illus. in color.) |
| Disciplina | 006 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Computer security
Application software Computer communication systems Computer system failures Artificial intelligence Computers Privacy Information Systems Applications (incl. Internet) Computer Communication Networks System Performance and Evaluation Artificial Intelligence Computing Milieux |
| ISBN | 3-030-23499-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Modeling Social Influence in Mobile Messaging Apps -- Pricing a digital services marketplace under asymmetric information -- Profit Maximization and Time Minimization Admission Control and Resource Scheduling for Cloud Based Big Data Analytics-as-a-Service Platforms -- A User Constraint Awareness Approach for QoS-based Service Composition -- AnomalyDetect: An Online Distance-Based Anomaly Detection Algorithm -- Transitive Pseudonyms Mediated Electronic Health Records Sharing for Very Important Patients -- A Novel Coalitional Game-theoretic Approach for Energy-Aware Dynamic VM Consolidation in Heterogeneous Cloud Datacenter -- An Efficient Traceable and Anonymous Authentication Scheme for Permissioned Blockchain -- A Web-Service to Monitor a Wireless Sensor Network -- Automated Hot Text and Huge Pages: An Easy-to-adopt Solution Towards High Performing Services -- ThunderML: A Toolkit for Enabling AI/ML Models on Cloud for Industry 4.0 -- Study of Twitter communications on cardiovascular disease by state health departments. |
| Record Nr. | UNISA-996466296103316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Web Services – ICWS 2019 : 26th International Conference, Held as Part of the Services Conference Federation, SCF 2019, San Diego, CA, USA, June 25–30, 2019, Proceedings / / edited by John Miller, Eleni Stroulia, Kisung Lee, Liang-Jie Zhang
| Web Services – ICWS 2019 : 26th International Conference, Held as Part of the Services Conference Federation, SCF 2019, San Diego, CA, USA, June 25–30, 2019, Proceedings / / edited by John Miller, Eleni Stroulia, Kisung Lee, Liang-Jie Zhang |
| Edizione | [1st ed. 2019.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
| Descrizione fisica | 1 online resource (X, 191 p. 83 illus., 69 illus. in color.) |
| Disciplina |
006
005.8 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Computer security
Application software Computer communication systems Computer system failures Artificial intelligence Computers Privacy Information Systems Applications (incl. Internet) Computer Communication Networks System Performance and Evaluation Artificial Intelligence Computing Milieux |
| ISBN | 3-030-23499-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Modeling Social Influence in Mobile Messaging Apps -- Pricing a digital services marketplace under asymmetric information -- Profit Maximization and Time Minimization Admission Control and Resource Scheduling for Cloud Based Big Data Analytics-as-a-Service Platforms -- A User Constraint Awareness Approach for QoS-based Service Composition -- AnomalyDetect: An Online Distance-Based Anomaly Detection Algorithm -- Transitive Pseudonyms Mediated Electronic Health Records Sharing for Very Important Patients -- A Novel Coalitional Game-theoretic Approach for Energy-Aware Dynamic VM Consolidation in Heterogeneous Cloud Datacenter -- An Efficient Traceable and Anonymous Authentication Scheme for Permissioned Blockchain -- A Web-Service to Monitor a Wireless Sensor Network -- Automated Hot Text and Huge Pages: An Easy-to-adopt Solution Towards High Performing Services -- ThunderML: A Toolkit for Enabling AI/ML Models on Cloud for Industry 4.0 -- Study of Twitter communications on cardiovascular disease by state health departments. |
| Record Nr. | UNINA-9910337854003321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||