Sciweavers

3342 search results - page 434 / 669
» Automating Abstract Interpretation
Sort
View
WINE
2005
Springer
143views Economy» more  WINE 2005»
15 years 6 months ago
Economic Mechanisms for Shortest Path Cooperative Games with Incomplete Information
Abstract. In this paper we present a cooperative game theoretic interpretation of the shortest path problem. We consider a buying agent who has a budget to go from a specified sou...
T. S. Chandrashekar, Yadati Narahari
CIA
2004
Springer
15 years 6 months ago
Reasoning About Communication - A Practical Approach Based on Empirical Semantics
Given a specification of communication rules in a multiagent system (in the form of protocols, ACL semantics, etc.), the question of how to design appropriate agents that can oper...
Felix A. Fischer, Michael Rovatsos
CICLING
2004
Springer
15 years 6 months ago
A Plug and Play Spoken Dialogue Interface for Smart Environments
In this paper we present a plug and play dialogue system for smart environments. The environment description and its state are stored on a domain ontology. This ontology is formed ...
Germán Montoro, Xavier Alamán, Pablo...
EKAW
2004
Springer
15 years 6 months ago
Semantic Webs for Learning: A Vision and Its Realization
Abstract. Augmenting web pages with semantic contents, i.e., building a ‘Semantic Web’, promises a number of benefits for web users in general and learners in particular. Seman...
Arthur Stutt, Enrico Motta
GCB
2004
Springer
126views Biometrics» more  GCB 2004»
15 years 6 months ago
Proteochemometrics Modeling of Receptor-Ligand Interactions Using Rough Sets
Abstract: We report on a model for the interaction of chimeric melanocortin Gprotein coupled receptors with peptide ligands using the rough set approach. Rough sets generate If-The...
H. Strömbergsson, Peteris Prusis, Herman Mide...