6722 search results - page 330 / 1345 » The DSML4MAS development environment |
139
click to vote
AAAI
2000
15 years 8 months ago
2000
We explore the expressive power of a recently developed qualitative region-based geometry and apply it to the problem of representing and reasoning about the motion of rigid bodie...
168
click to vote
AAAI
1998
15 years 8 months ago
1998
In this paper, we develop a formal methodology for verifying situated agents. The methodology consists of two elements, a specification language for specifying the agent capabilit...
176
click to vote
ANLP
2000
15 years 8 months ago
2000
This paper proposes a grammar-based approach to semantic annotation which combines the notions of robust parsing and fuzzy grammars. We present an overview of a preliminary resear...
170
click to vote
MVA
1998
15 years 8 months ago
1998
We summarise several techniques in use in our visual robotics research. Our aim is to develop robots that are thoroughly autonomous and adaptable. We describe a system that is ind...
155
Voted
WSC
2000
15 years 8 months ago
2000
This paper considers a variety of new technologies for discrete-event simulation software development. Environments and languages for web based simulation are reviewed. Web based ...