13734 search results - page 2482 / 2747 » Abstractions of data types |
193
click to vote
COOP
2004
15 years 8 months ago
2004
Abstract. The enormous improvements in the efficiency of model-checking techniques in recent years facilitates their application to ever more complex systems of concurrent and dist...
235
click to vote
CGVR
2006
15 years 8 months ago
2006
ended abstract details previous methods for motion tracking and capture in 3D animation and in particular that of hand motion tracking and capture. Our research aims to enable ges...
162
click to vote
DAIS
2006
15 years 8 months ago
2006
Abstract. As the amount of information available to users continues to grow, filtering wanted items from unwanted ones becomes a dominant task. To this end, various collaborative-f...
172
click to vote
DATESO
2006
15 years 8 months ago
2006
Abstract. This paper describes a few ideas concerned with geographical information systems (GIS) development. Those ideas come from a GIS development project named GeKon, which is ...
171
click to vote
DLOG
2006
15 years 8 months ago
2006
Abstract Practical description logic systems play an ever-growing role for knowledge representation and reasoning research even in distributed environments. In particular, the onto...