3938 search results - page 532 / 788 » Interactive Protocols on the Reals |
167
click to vote
TPHOL
1996
IEEE
15 years 11 months ago
1996
IEEE
Nuprl and HOL are both tactic-based interactive theorem provers for higher-order logic, and both have been used in many substantial applications over the last decade. However, the ...
137
click to vote
DAC
1996
ACM
15 years 11 months ago
1996
ACM
Task management involves task creation and execution. These are facilitated using a task schema as exemplified in the Hercules Task Manager. Experience with Hercules has shown the...
188
click to vote
VISUALIZATION
1994
IEEE
15 years 11 months ago
1994
IEEE
Vector field rendering is difficult in 3D because the vector icons overlap and hide each other. We propose four different techniques for visualizing vector fields only near surfac...
151
click to vote
ASPDAC
2007
ACM
15 years 10 months ago
2007
ACM
Abstract-- The increasing processing power of embedded devices have created the scope for certain applications that could previously be executed in desktop environments only, to mi...
175
click to vote
CIVR
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. This paper presents novel dissimilarity space specially designed for interactive multimedia retrieval. By providing queries made of positive and negative examples, the go...