596 search results - page 85 / 120 » On the Use of Visualization in Formal Requirements Specifica... |
144
click to vote
SIGIR
2005
ACM
15 years 11 months ago
2005
ACM
We describe a method for improving the precision of metasearch results based upon scoring the visual features of documents' surrogate representations. These surrogate scores ...
157
click to vote
ICPR
2008
IEEE
16 years 13 days ago
2008
IEEE
In facial image analysis, image resolution is an important factor which has great influence on the performance of face recognition systems. As for lowresolution face recognition p...
159
click to vote
HAPTICS
2002
IEEE
15 years 11 months ago
2002
IEEE
In this paper, we present computationally efficient algorithms for the real time simulation of minimally invasive surgical (MIS) procedures. To develop a surgical simulator for tr...
148
click to vote
WSC
2004
15 years 7 months ago
2004
An interactive tool has been developed for visualizing and creating scaled battlefield based scenarios for use in a simulation testbed to develop and test distributed data fusion ...
163
Voted
FOSSACS
2008
Springer
15 years 7 months ago
2008
Springer
Local reasoning about programs exploits the natural local behaviour common in programs by focussing on the footprint - that part of the resource accessed by the program. We address...