1949 search results - page 262 / 390 » Protective Interface Specifications |
136
Voted
TACAS
2000
Springer
15 years 7 months ago
2000
Springer
This note describes Proof General, a tool for developing machine proofs with an interactive proof assistant. Interaction is based around a proof script, which is the target of a pr...
101
Voted
CLEF
2008
Springer
15 years 5 months ago
2008
Springer
This study aims to explore users' image seeking behaviour when searching for a known, non-annotated image in Flickling provided by iCLEF2008 track. The task assigned to users...
146
click to vote
AAAI
2006
15 years 4 months ago
2006
The Robot Intelligence Kernel (RIK) is a portable, reconfigurable suite of perceptual, behavioral, and cognitive capabilities that can be used across many different platforms, env...
167
click to vote
CSREAESA
2006
15 years 4 months ago
2006
The Satellite Data Model (SDM) is part of the Air Force Research Laboratory (AFRL) Responsive Space Testbed Initiative. It is a developing standard for rapid integration of hardwa...
124
Voted
WSC
1998
15 years 4 months ago
1998
MODSIM II is an object-oriented discrete event simulation language featuring extensive run-time libraries, graphical user interface and results presentation tools, database access...