4460 search results - page 654 / 892 » Formal methods for interactive systems |
188
click to vote
ICPPW
2006
IEEE
16 years 17 days ago
2006
IEEE
In recent years, large scale distributed virtual environments have become a major trend in distributed applications, mainly due to the enormous popularity of multiplayer online ga...
155
click to vote
VISUALIZATION
1996
IEEE
15 years 10 months ago
1996
IEEE
This paper presents an example of how existing visualization methods can be successfully applied { after minor modi cations { for allowing new, sometimes unexpected insight in sci...
150
click to vote
ATAL
2008
Springer
15 years 8 months ago
2008
Springer
We present an application of a multi-agent cooperative search approach to the problem of optimizing gas pipeline operations, i.e. finding control parameters for a gas transmission...
213
click to vote
ECIR
1998
Springer
15 years 7 months ago
1998
Springer
A new system, RAIDER (Retrieval and Annotation of Image Databases), has been developed for the management of image databases. RAIDER was designed to combat the inadequacies and in...
198
click to vote
CGI
1998
IEEE
15 years 10 months ago
1998
IEEE
Many techniques have been developed for 3D object deformation. These techniques have been widely used in most CAD/CAM systems. Intuitive while efficient methods for interactive 3D...