7049 search results - page 1188 / 1410 » Data Abstraction for CSP-OZ |
194
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...
240
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...
197
click to vote
DAGSTUHL
2004
15 years 8 months ago
2004
Abstract. A Web Service (WS) is a type of component specifically conceived for distributed machine-to-machine interaction. Interoperability between WSs involves both data and messa...
168
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...
181
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 ...