2153 search results - page 299 / 431 » From Requirements Models to Formal Specifications in B |
169
click to vote
AAAI
2004
15 years 7 months ago
2004
Members of multi-robot teams may need to collaborate to accomplish a task due to differences in capabilities. This paper describes an extension of the ALLIANCE architecture that e...
158
click to vote
IJCAI
2001
15 years 7 months ago
2001
The task of causal structure discovery from empirical data is a fundamental problem in many areas. Experimental data is crucial for accomplishing this task. However, experiments a...
166
click to vote
PUK
2001
15 years 7 months ago
2001
Urban design is a creative task that demands the balancing of issues from multiple domains such as architecture, zoning laws, traffic planning, and others. As such, classic design ...
170
click to vote
AIPS
1994
15 years 7 months ago
1994
We consider the problem of representing plans for mixed-initiative planning, where several participants cooperate to develop plans. We claim that in such an environment, a crucial...
199
click to vote
MASCOTS
1996
15 years 7 months ago
1996
Formalisms based on stochastic Petri Nets (SPNs) can employ structural analysis to ensure that the underlying stochastic process is fully determined. The focus is on the detection...