7988 search results - page 993 / 1598 » A Useful Undecidable Theory |
200
click to vote
VISUALIZATION
2002
IEEE
16 years 11 days ago
2002
IEEE
We present a new algorithm for rendering very large volume data sets at interactive framerates on standard PC hardware. The algorithm accepts scalar data sampled on a regular grid...
196
click to vote
TACS
2001
Springer
15 years 12 months ago
2001
Springer
We give a logic programming language based on Fiore, Plotkin and Turi’s binding algebras. In this language, we can use not only first-order terms but also terms involving variab...
243
click to vote
FGR
2000
IEEE
15 years 12 months ago
2000
IEEE
Colorhasbeen widelyused for handsegmentation. However, many approaches rely on predefined skin color models. It is very difficult to predefine a color model in a mobile applica...
174
click to vote
ICRA
2000
IEEE
15 years 12 months ago
2000
IEEE
This paper presents a hybrid system approach in the design of a singularityless task level controller. To achieve a singularityless motion control in the neighborhood of singulari...
232
click to vote
ISSRE
2000
IEEE
15 years 12 months ago
2000
IEEE
The Unified Modeling Language, UML, is the objectoriented notation adopted as the standard for objectoriented Analysis and Design by the Object Management Group. This paper report...