Sciweavers

2911 search results - page 100 / 583
» A Theory of Expressiveness in Mechanisms
Sort
View
AAAI
2000
15 years 7 months ago
What Sensing Tells Us: Towards a Formal Theory of Testing for Dynamical Systems
Just as actions can have indirect effects on the state of the world, so too can sensing actions have indirect effects on an agent's state of knowledge. In this paper, we inve...
Sheila A. McIlraith, Richard B. Scherl
AUSAI
2008
Springer
15 years 8 months ago
Using Probabilistic Feature Matching to Understand Spoken Descriptions
Abstract. We describe a probabilistic reference disambiguation mechanism developed for a spoken dialogue system mounted on an autonomous robotic agent. Our mechanism performs proba...
Ingrid Zukerman, Enes Makalic, Michael Niemann
CALCO
2005
Springer
76views Mathematics» more  CALCO 2005»
15 years 12 months ago
Strong Splitting Bisimulation Equivalence
We present ACPc , a process algebra with conditional expressions in which the conditions are taken from a Boolean algebra, and extensions of this process algebra with mechanisms fo...
Jan A. Bergstra, C. A. Middelburg
DLOG
2000
15 years 7 months ago
Driving User Interfaces from FaCT
We describe a mechanism that can be used to drive interfaces from a description logic (DL) model of the domain. A simple layer with limited expressivity sits on top of the DL, wit...
Sean Bechhofer, Ian Horrocks
BMCBI
2004
115views more  BMCBI 2004»
15 years 6 months ago
Quantifying the relationship between co-expression, co-regulation and gene function
Background: It is thought that genes with similar patterns of mRNA expression and genes with similar functions are likely to be regulated via the same mechanisms. It has been diff...
Dominic J. Allocco, Isaac S. Kohane, Atul J. Butte