32607 search results - page 366 / 6522 » Supporting |
187
click to vote
EWCBR
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. We show how case bases can be compiled into Decision Diagrams, which represent the cases with reduced redundancy. Numerous computations can be performed efficiently on th...
185
click to vote
FOSSACS
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. This paper develops a highly expressive semantic framework for program refinement that supports both temporal reasoning and reasoning about the knowledge of a single agen...
170
click to vote
HUC
2000
Springer
15 years 10 months ago
2000
Springer
EVENTMANAGER is a tool that supports peripheral awareness by enabling users to be notified when events of interest take place within their workplace environment. Our initial implem...
217
click to vote
ICPR
2000
IEEE
15 years 10 months ago
2000
IEEE
In this paper, we describe a new design of a recognition system for a single image of indoor scene including complex occlusions. In our system, rst, the system estimates 3D struc...
203
click to vote
MA
2000
Springer
15 years 10 months ago
2000
Springer
In this paper, we present a mechanism to capture and reestablish the state of Java threads. We achieve this by extracting a thread's execution state from the application code ...