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.
Abstraction, Reformulation and Approximation [[electronic resource] ] : 6th International Symposium, SARA 2005, Airth Castle, Scotland, UK, July 26-29, 2005, Proceedings / / edited by Jean-Daniel Zucker, Lorenza Saitta
| Abstraction, Reformulation and Approximation [[electronic resource] ] : 6th International Symposium, SARA 2005, Airth Castle, Scotland, UK, July 26-29, 2005, Proceedings / / edited by Jean-Daniel Zucker, Lorenza Saitta |
| Edizione | [1st ed. 2005.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 |
| Descrizione fisica | 1 online resource (XII, 380 p.) |
| Disciplina | 004 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Computers
Artificial intelligence Computer logic Mathematical logic Theory of Computation Artificial Intelligence Logics and Meanings of Programs Mathematical Logic and Formal Languages |
| ISBN | 3-540-31882-8 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Full Papers -- Verifying the Incorrectness of Programs and Automata -- Generating Admissible Heuristics by Abstraction for Search in Stochastic Domains -- Synthesizing Plans for Multiple Domains -- Abstract Policy Evaluation for Reactive Agents -- Implementing an Abstraction Framework for Soft Constraints -- Transforming and Refining Abstract Constraint Specifications -- Learning Regular Expressions from Noisy Sequences -- From Factorial and Hierarchical HMM to Bayesian Network: A Representation Change Algorithm -- Hierarchical Heuristic Search Revisited -- Multinomial Event Model Based Abstraction for Sequence and Text Classification -- Petri Net Reachability Checking Is Polynomial with Optimal Abstraction Hierarchies -- Detecting and Breaking Symmetries by Reasoning on Problem Specifications -- Approximate Model-Based Diagnosis Using Preference-Based Compilation -- Function Approximation via Tile Coding: Automating Parameter Choice -- Creating Better Abstract Operators -- A Specialised Binary Constraint for the Stable Marriage Problem -- Compositional Derivation of Symmetries for Constraint Satisfaction -- Extended Abstracts -- Solving the 24 Puzzle with Instance Dependent Pattern Databases -- Combining Feature Selection and Feature Construction to Improve Concept Learning for High Dimensional Data -- A Qualitative Spatio-temporal Abstraction of a Disaster Space -- The Cruncher: Automatic Concept Formation Using Minimum Description Length -- Experiments with Multiple Abstraction Heuristics in Symbolic Verification -- Probabilistic Abstraction of Uncertain Temporal Data for Multiple Subjects -- Learning Classifiers Using Hierarchically Structured Class Taxonomies -- Feature-Discovering Approximate Value Iteration Methods -- Invited Talks -- Designing Views to Efficiently Answer Real SQL Queries -- The Multi-depot Periodic Vehicle Routing Problem -- Abstract Representation in Painting and Computing -- Research Summaries -- Categorizing Gene Expression Correlations with Bioclinical Data: An Abstraction Based Approach -- Learning Abstract Scheduling Models -- Knowledge Acquisition on Manipulation of Flow and Water Quality Models -- Abstraction and Multiple Abstraction in the Symbolic Modeling of the Environment of Mobile Robots -- Sequential Decision Making Under Uncertainty -- Automatic State Abstraction for Pathfinding in Real-Time Video Games -- Model-Based Search -- Learning Skills in Reinforcement Learning Using Relative Novelty. |
| Record Nr. | UNISA-996465781003316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Ubiquitous Knowledge Discovery [[electronic resource] ] : Challenges, Techniques, Applications / / edited by Michael May, Lorenza Saitta
| Ubiquitous Knowledge Discovery [[electronic resource] ] : Challenges, Techniques, Applications / / edited by Michael May, Lorenza Saitta |
| Edizione | [1st ed. 2010.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
| Descrizione fisica | 1 online resource (X, 255 p. 51 illus.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Computer communication systems Data mining Application software Algorithms User interfaces (Computer systems) Artificial Intelligence Computer Communication Networks Data Mining and Knowledge Discovery Information Systems Applications (incl. Internet) Algorithm Analysis and Problem Complexity User Interfaces and Human Computer Interaction |
| ISBN |
1-280-38986-9
9786613567789 3-642-16392-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | A Blueprint for Ubiquitous Knowledge Discovery -- Introduction: The Challenge of Ubiquitous Knowledge Discovery -- Ubiquitous Technologies -- Resource Aware Distributed Knowledge Discovery -- Ubiquitous Data -- Privacy and Security in Ubiquitous Knowledge Discovery -- A Human-Centric Perspective on Ubiquitous Knowledge Discovery -- Application Challenges for Ubiquitous Knowledge Discovery -- Case Studies -- On-Line Learning: Where Are We So Far? -- Change Detection with Kalman Filter and CUSUM -- A Geometric Approach to Monitoring Threshold Functions over Distributed Data Streams -- Privacy Preserving Spatio-temporal Clustering on Horizontally Partitioned Data -- Nemoz — A Distributed Framework for Collaborative Media Organization -- Micro Information Systems and Ubiquitous Knowledge Discovery -- MineFleet : The Vehicle Data Stream Mining System for Ubiquitous Environments. |
| Record Nr. | UNISA-996465971803316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Ubiquitous knowledge discovery : challenges, techniques, applications / / Michael May, Lorenza Saitta, (eds.)
| Ubiquitous knowledge discovery : challenges, techniques, applications / / Michael May, Lorenza Saitta, (eds.) |
| Edizione | [1st ed. 2010.] |
| Pubbl/distr/stampa | Berlin ; ; Heidelberg, : Springer, 2010 |
| Descrizione fisica | 1 online resource (X, 255 p. 51 illus.) |
| Disciplina | 006.3 |
| Altri autori (Persone) |
MayMichael
SaittaLorenza |
| Collana |
LNCS sublibrary. SL 7, Artificial intelligence
Lecture notes in computer science. Lecture notes in artificial intelligence |
| Soggetto topico | Artificial intelligence |
| ISBN |
1-280-38986-9
9786613567789 3-642-16392-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | A Blueprint for Ubiquitous Knowledge Discovery -- Introduction: The Challenge of Ubiquitous Knowledge Discovery -- Ubiquitous Technologies -- Resource Aware Distributed Knowledge Discovery -- Ubiquitous Data -- Privacy and Security in Ubiquitous Knowledge Discovery -- A Human-Centric Perspective on Ubiquitous Knowledge Discovery -- Application Challenges for Ubiquitous Knowledge Discovery -- Case Studies -- On-Line Learning: Where Are We So Far? -- Change Detection with Kalman Filter and CUSUM -- A Geometric Approach to Monitoring Threshold Functions over Distributed Data Streams -- Privacy Preserving Spatio-temporal Clustering on Horizontally Partitioned Data -- Nemoz — A Distributed Framework for Collaborative Media Organization -- Micro Information Systems and Ubiquitous Knowledge Discovery -- MineFleet : The Vehicle Data Stream Mining System for Ubiquitous Environments. |
| Record Nr. | UNINA-9910484441603321 |
| Berlin ; ; Heidelberg, : Springer, 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Uncertainty and Intelligent Systems [[electronic resource] ] : 2nd International Conference on Information Processing and Management of Uncertainty in Knowledge Based Systems IPMU '88. Urbino, Italy, July 4-7, 1988. Proceedings / / edited by Bernadette Bouchon, Lorenza Saitta, Ronald R. Yager
| Uncertainty and Intelligent Systems [[electronic resource] ] : 2nd International Conference on Information Processing and Management of Uncertainty in Knowledge Based Systems IPMU '88. Urbino, Italy, July 4-7, 1988. Proceedings / / edited by Bernadette Bouchon, Lorenza Saitta, Ronald R. Yager |
| Edizione | [1st ed. 1988.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1988 |
| Descrizione fisica | 1 online resource (VIII, 409 p.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Artificial intelligence
Artificial Intelligence |
| ISBN | 3-540-39255-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Application of linear utility theory to belief functions -- A new approach to introducing semantics and subjectivity in approximate reasoning -- Belief functions versus probability functions -- Inference via belief qualified if — Then rules based on compatibility relations and possibility theory -- Fixed point theorems for fuzzy mappings -- Convergence properties of classes of decomposable measures -- Some geometrical properties of trapezoidal functions for their association with linguistic labels leading to a reduced 2-D representation -- Decidability and recursive enumerability for fuzzy subsets -- Stability of linguistic modifiers compatible with a fuzzy logic -- Some maximum likelihood estimators for the fuzzy linear model -- On orderings of fuzzy numbers -- An alternative semantics for linguistic variables -- Suboptimum decoding using Kullback principle -- The choice of sample size in estimating entropy according to a stratified sampling -- Information measures from rate-distortion theories -- Piecewise linear fuzzy quantities : A way to implement fuzzy information into expert systems and fuzzy databases -- Sets and uncertainty in relational databases -- Answering queries addressed to the rule base of a deductive database -- A model for the management of imprecise queries in relational databases -- Constructive learning with continuous-valued attributes -- A model for learning by source control -- Controlling inductive search in rigel learning system -- Uncertainty in a numeric concept discovery system -- On generating linguistic rules for fuzzy models -- Learning driven by the concepts structure -- Checking a rule base with certainty factor for incompleteness and inconsistency -- Modeling experiential knowledge with procedural schemata of holistic perception -- Congruence of structures in urban knowledge representation -- Time representation: An example -- Fuzzy qualitative modeling -- Knowledge representation systems syntactic methods -- A logical approach to deal with incomplete causal models in diagnostic problem solving -- A many valued logic of belief: Detachment operators -- Thresholds for certainty and the modal logic S3 -- Knowledge acquisition on neural networks -- Neural net connection estimates applied for feature selection & improved linear classifier design -- Modulation of the intensity of formalized attributes -- Inflammatory protein variations: Medical knowledge representation and approximate reasoning -- Sequential bayesian test from fuzzy experimental information -- An intuitive representation of imperfect information -- A method for determination of evidential weighting factors in a medical expert system -- A study of arab computer users: A special case of a general HCI methodolgy -- Knowledge-based systems application to reduce risk in software requirements -- Prioritized, non-pointwise, nonmonotonic intersection and union for commonsense reasoning -- Multi-criteria decision making in terms of probabilistic sets -- Putting into practice Moreau's extended generalized modus ponens -- Evidence aggregation in expert judgments -- Conditioning in possibility and evidence theories — A logical viewpoint —. |
| Record Nr. | UNISA-996465688303316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1988 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||