Sciweavers

1143 search results - page 61 / 229
» Mental models of recursion
Sort
View
KR
2004
Springer
14 years 2 months ago
Observation Expectation Reasoning in Agent Systems
The computational grounding problem – the gap between the mental models of an agent and its computational model – is a well known problem within the agent research community. ...
Bình Vu Trân, James Harland, Margaret...
JSAI
2007
Springer
14 years 3 months ago
Inverse Scope as Metalinguistic Quotation in Operational Semantics
We model semantic interpretation operationally: constituents interact as their combination in discourse evolves from state to state. The states are recursive data structures and ev...
Chung-chieh Shan
TIP
2008
106views more  TIP 2008»
13 years 9 months ago
Robust Control-Based Object Tracking
This correspondence presents a video tracking framework using control-based observer design. It unifies several kernel-based approaches into a consistent theoretical framework by m...
Wei Qu, Dan Schonfeld
CORR
2002
Springer
67views Education» more  CORR 2002»
13 years 9 months ago
The prospects for mathematical logic in the twenty-first century
Abstract. The four authors present their speculations about the future developments of mathematical logic in the twenty-first century. The areas of recursion theory, proof theory a...
Samuel R. Buss, Alexander S. Kechris, Anand Pillay...
PE
2011
Springer
274views Optimization» more  PE 2011»
13 years 3 months ago
A generalized method of moments for closed queueing networks
We introduce a new solution technique for closed product-form queueing networks that generalizes the Method of Moments (MoM), a recently proposed exact algorithm that is several o...
Giuliano Casale