3161 search results - page 284 / 633 » Documenting framework behavior |
169
Voted
PASTE
2004
ACM
16 years 5 days ago
2004
ACM
Model checking requires a specification of the target system’s desirable properties, some of which are temporal. Formulating a property of the system based on either its abstrac...
171
click to vote
JSSPP
2004
Springer
16 years 3 days ago
2004
Springer
Computer system batch schedulers typically require information from the user upon job submission, including a runtime estimate. Inaccuracy of these runtime estimates, relative to ...
168
click to vote
ICRA
2000
IEEE
15 years 11 months ago
2000
IEEE
We document our initial e orts to instantiate visuallyguided cooperative behaviors between robotic agents in the minifactory environment. Minifactory incorporates high-precision 2...
210
Voted
VISUAL
1999
Springer
15 years 11 months ago
1999
Springer
The FRAMES project is developing a system for video database search, content-based retrieval, and virtual video program synthesis. For dynamic synthesis applications, a video progr...
175
click to vote
HICSS
1997
IEEE
15 years 11 months ago
1997
IEEE
In this paper, we discuss the various issues in designing intelligent software systems to assist worldwide-web users in locating relevant information. We identi3 a number of key c...