4290 search results - page 631 / 858 » Formal Approaches to Teamwork |
189
click to vote
ATAL
2010
Springer
15 years 7 months ago
2010
Springer
We present a formal framework of an autonomous agent as a collection of coordinated control loops, with a recurring sense, plan, act cycle. Our framework manages the information f...
225
click to vote
GISCIENCE
2010
Springer
15 years 6 months ago
2010
Springer
The categorization of our environment into feature types is an essential prerequisite for cartography, geographic information retrieval, routing applications, spatial decision supp...
173
click to vote
AI
2008
Springer
15 years 6 months ago
2008
Springer
It is well known that classical set theory is not expressive enough to adequately model categorization and prototype theory. Recent work on compositionality and concept determinat...
146
click to vote
COGSCI
2010
15 years 6 months ago
2010
We develop and evaluate a model of behavior on the Give-N task, a commonly used measure of young children's number knowledge. Our model uses the knower-level theory of how ch...
193
click to vote
ENTCS
2008
15 years 6 months ago
2008
The Event-B method is a formal approach to modelling systems, using refinement. Initial specification is a high level of abstraction; detail is added in refinement steps as the de...