6020 search results - page 927 / 1204 » A New Approach to Model Counting |
171
click to vote
ICRA
2005
IEEE
16 years 4 days ago
2005
IEEE
Abstract— Recent research trends and technology developments are bringing us closer to the realization of autonomous multirobot systems performing increasingly complex missions. ...
168
click to vote
TRIDENTCOM
2005
IEEE
16 years 3 days ago
2005
IEEE
Discrete-event packet-level network simulation is well-known and widely used. Network emulation is a hybrid approach that combines real elements of a deployed networked applicatio...
166
click to vote
VISUALIZATION
2005
IEEE
16 years 3 days ago
2005
IEEE
We describe a new dynamic level-of-detail (LOD) technique that allows real-time rendering of large tetrahedral meshes. Unlike approaches that require hierarchies of tetrahedra, ou...
148
click to vote
VISUALIZATION
2005
IEEE
16 years 3 days ago
2005
IEEE
We present a new particle tracing approach for the simulation of mid- and high-frequency sound. Inspired by the photorealism obtained by methods like photon mapping, we develop a ...
210
click to vote
SAC
2005
ACM
16 years 3 days ago
2005
ACM
In this paper, we describe a new approach for mining concept associations from large text collections. The concepts are short sequences of words that occur frequently together acr...