2004 search results - page 314 / 401 » Comparison of Model Checking Tools for Information Systems |
ICIP
2010
IEEE
14 years 9 months ago
2010
IEEE
In biopsies, drainages, vertebroplasty, and other needle-based procedures, insight on the 3D position of a needle is crucial for correct navigation by the clinician. In this paper...
104
click to vote
EJC
2010
14 years 6 months ago
2010
As a computational model of natural language communication, Database Semantics1 (DBS) includes a hearer mode and a speaker mode. For the content to be mapped into language expressi...
SIGIR
2009
ACM
15 years 6 months ago
2009
ACM
We consider experiments to measure the quality of a web search algorithm based on how much total time users take to complete assigned search tasks using that algorithm. We first ...
133
click to vote
EKAW
1992
Springer
15 years 4 months ago
1992
Springer
Process management is a method for improving Boeing's business processes, however many aspects have been difficult to implement. eQuality is a software system based on a frame...
134
click to vote
CHI
1997
ACM
15 years 4 months ago
1997
ACM
MOBI-D (Model-Based Interface Designer) is a software environment the design and development of user interfaces from declarative interface models. End-users informally describe ta...