2148 search results - page 324 / 430 » Responsiveness in Process Calculi |
KBSE
1995
IEEE
15 years 2 months ago
1995
IEEE
This paper describes an effort to provide automated support for the interactive inquiry and explanation process that is at the heart of software understanding. A hypermedia tool c...
117
click to vote
SIGGRAPH
1995
ACM
15 years 2 months ago
1995
ACM
This paper presents a hybrid model for animation of soft inelastic substance which undergo topological changes, e.g. separation and fusion and which fit with the objects they are...
EDBTW
2010
Springer
15 years 2 months ago
2010
Springer
The success of organizations or business networks depends on fast and well-founded decisions taken by the relevant people in their specific area of responsibility. To enable time...
CIKM
2009
Springer
15 years 2 months ago
2009
Springer
Answer typing is commonly thought of as finding appropriate responses to given questions. We extend the notion of answer typing to information retrieval to ensure results contain...
AIPS
2008
15 years 1 months ago
2008
We present a planner for the Combat Power Management (CPM) problem. In response to multiple simultaneous or sequential threats, the planner generates a set of local plans, one for...