2308 search results - page 299 / 462 » Representing Symbolic Reasoning |
165
click to vote
LCPC
1999
Springer
15 years 10 months ago
1999
Springer
Wavefront computations, characterized by a data dependent flow of computation across a data space, are receiving increasing attention as an important class of parallel computation...
165
click to vote
HICSS
1997
IEEE
1997
IEEE
Retaining Body Language in Subjective Virtual Environments Using Artifact-Centred Coordinate Systems
15 years 10 months ago
Embodiment and subjectivity are important research issues for collaborative virtual environments. We claim that the direction and distance of an embodiment are the most important ...
152
click to vote
HICSS
1996
IEEE
15 years 10 months ago
1996
IEEE
Simulation of landscape ecosystems with high realism demands computing power greatly exceeding that of current workstation technology. However, the prospects are excellent that mo...
167
click to vote
DAC
1996
ACM
15 years 10 months ago
1996
ACM
Accurate power estimation is essential for low power digital CMOS circuit design. Power dissipation is input pattern dependent. To obtain an accurate power estimate, a large input...
163
click to vote
ECAI
1990
Springer
15 years 10 months ago
1990
Springer
Modal logics based on Kripke style semantics are the prominent formalismin AI for modeling beliefs. Kripke semantics involve a collection of possible worlds and a relation among t...