4424 search results - page 624 / 885 » Semantic virtual environments |
176
click to vote
ISCOPE
1999
Springer
15 years 11 months ago
1999
Springer
SIFFEA is an automated system for parallel nite element method (PFEM) with unstructured meshes on distributed memory machines. It synthesizes mesh generator, mesh partitioner, line...
170
click to vote
TPHOL
1998
IEEE
15 years 11 months ago
1998
IEEE
Abstraction in a Higher-Order Logic Framework Marco Benini Sara Kalvala Dirk Nowotka Department of Computer Science University of Warwick, Coventry, CV4 7AL, United Kingdom We pres...
202
click to vote
ECTEL
2007
Springer
15 years 10 months ago
2007
Springer
Currently, large amounts of research exist into the design and implementation of adaptive systems. The complex task of authoring of such systems, or their evaluation, is addressed ...
155
click to vote
AAAI
2008
15 years 9 months ago
2008
This system translates basic English descriptions of a wide range of objects in a simplistic zoo environment into plausible, three-dimensional, interactive visualizations of their...
168
click to vote
CASCON
1997
15 years 8 months ago
1997
This paper describes the implementation of a reliable Get-Put interface written for a distributed memory environment. The asynchronous semantics of the Put as well as the split tr...