Sciweavers

1791 search results - page 81 / 359
» Behavioral Operations
Sort
View
AAAI
2007
15 years 2 months ago
Intention Guided Belief Revision
This paper aims to investigate methodologies to utilize an agent’s intentions as a means to guide the revision of its beliefs. For this purpose, we develop a collection of belie...
Timothy William Cleaver, Abdul Sattar
WSC
2004
15 years 1 months ago
IAGO Project and Development of Compound Agents
The IAGO Project explores the question of whether a software model, in the form of a computational model of cognitive behavior, can contribute to better anticipation of asymmetric...
John E. Hiles
BIB
2007
99views more  BIB 2007»
15 years 21 hour ago
Towards a calculus of biomolecular complexes at equilibrium
An overview is presented of the construction and use of algebraic partition functions to represent the equilibrium statistical mechanics of multimolecular complexes and their acti...
Eric Mjolsness
TLDI
2005
ACM
102views Formal Methods» more  TLDI 2005»
15 years 5 months ago
An open and shut typecase
Two different ways of defining ad-hoc polymorphic operations commonly occur in programming languages. With the first form polymorphic operations are defined inductively on the...
Dimitrios Vytiniotis, Geoffrey Washburn, Stephanie...
PODC
1989
ACM
15 years 4 months ago
Equational Reasoning About Nondeterministic Processes
A deterministic message-communicating process can be characterized by a “continuous” function f which describes the relationship between the inputs and the outputs of the proc...
Jayadev Misra