3093 search results - page 161 / 619 » The Multi-perspective Process Explorer |
143
click to vote
CSL
2002
Springer
15 years 4 months ago
2002
Springer
In the process of interactive theorem proving one often works with incomplete higher order proofs. In this paper we address the problem of giving a correctness criterion for these ...
125
click to vote
EWC
2000
15 years 4 months ago
2000
: This paper discusses design families and design individuals. Phase space is introduced to complement state space. Phase transition as a generic method of generating design famili...
141
click to vote
AAMAS
1998
Springer
15 years 4 months ago
1998
Springer
Since real-time search provides an attractive framework for resource-bounded problem solving, this paper extends the framework for autonomous agents and for a multiagent world. To ...
151
Voted
AROBOTS
1998
15 years 4 months ago
1998
This paper discusses the emergence of sensorimotor coordination for ESCHeR, a 4DOF redundant foveated robot-head, by interaction with its environment. A feedback-error-learning(FEL...
188
click to vote
IPM
1998
15 years 4 months ago
1998
This paper describes a collaborative effort to explore user needs in a digital library, develop interface prototypes for a digital library, and suggest and prototype tools for dig...