697 search results - page 116 / 140 » Decomposition Structures for Event-B |
119
click to vote
DAWAK
2001
Springer
15 years 4 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...
ICCS
2001
Springer
15 years 4 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 ...
ASAP
2000
IEEE
15 years 4 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...
97
Voted
AI
1998
Springer
15 years 4 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...
SIGGRAPH
1998
ACM
15 years 4 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...