Sciweavers

1143 search results - page 61 / 229
» Mental models of recursion
Sort
View
98
Voted
KR
2004
Springer
15 years 6 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
15 years 6 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»
15 years 14 days 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
91
Voted
CORR
2002
Springer
67views Education» more  CORR 2002»
15 years 11 days 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...
145
Voted
PE
2011
Springer
274views Optimization» more  PE 2011»
14 years 7 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