697 search results - page 116 / 140 » Decomposition Structures for Event-B |
198
click to vote
DAWAK
2001
Springer
15 years 10 months ago
2001
Springer
We present a framework for visualizing remote distributed data sources using a multi-user immersive virtual reality environment. DIVE-ON is a system prototype that consolidates dis...
139
click to vote
ICCS
2001
Springer
15 years 10 months ago
2001
Springer
This paper surveys and places into perspective a number of results concerning the D-BSP (Decomposable Bulk Synchronous Parallel) model of computation, a variant of the popular BSP ...
145
click to vote
ASAP
2000
IEEE
15 years 10 months ago
2000
IEEE
MicroSIMD architectures incorporating subword parallelism are very efficient for application-specific media processors as well as for fast multimedia information processing in gen...
169
click to vote
AI
1998
Springer
15 years 10 months ago
1998
Springer
Noun phrases carry much of the information in a text. Systems that attempt to acquire knowledge from text must first decompose complex noun phrases to get access to that informatio...
137
click to vote
SIGGRAPH
1998
ACM
15 years 10 months ago
1998
ACM
During the last years the concept of multi-resolution modeling has gained special attention in many fields of computer graphics and geometric modeling. In this paper we generaliz...