Sciweavers

3406 search results - page 545 / 682
» Computational models of classical conditioning
Sort
View
ILP
2007
Springer
15 years 10 months ago
Learning to Assign Degrees of Belief in Relational Domains
A recurrent question in the design of intelligent agents is how to assign degrees of beliefs, or subjective probabilities, to various events in a relational environment. In the sta...
Frédéric Koriche
ESCIENCE
2006
IEEE
15 years 10 months ago
Towards a Framework for Monitoring and Analyzing QoS Metrics of Grid Services
QoS (Quality of Service) parameters play a key role in selecting Grid resources and optimizing resources usage efficiently. Although many works have focused on using QoS metrics,...
Hong Linh Truong, Robert Samborski, Thomas Fahring...
QEST
2006
IEEE
15 years 10 months ago
Compositional Quantitative Reasoning
Abstract. We present a compositional theory of system verification, where specifications assign real-numbered costs to systems. These costs can express a wide variety of quantita...
Krishnendu Chatterjee, Luca de Alfaro, Marco Faell...
ICDAR
2005
IEEE
15 years 10 months ago
Document Ranking by Layout Relevance
This paper describes the development of a new document ranking system based on layout similarity. The user has a need represented by a set of ”wanted” documents, and the syste...
May Huang, Daniel DeMenthon, David S. Doermann, Ly...
FOSSACS
2005
Springer
15 years 10 months ago
Expressivity of Coalgebraic Modal Logic: The Limits and Beyond
Modal logic has a good claim to being the logic of choice for describing the reactive behaviour of systems modeled as coalgebras. Logics with modal operators obtained from so-calle...
Lutz Schröder