6020 search results - page 922 / 1204 » A New Approach to Model Counting |
178
click to vote
RSP
2008
IEEE
16 years 28 days ago
2008
IEEE
Current graphic cards include advanced graphic processing units to accelerate the rendering of 3D objects with millions of polygons. As object models grow in complexity, the rende...
174
click to vote
SMI
2008
IEEE
16 years 28 days ago
2008
IEEE
Motivated by the ability of living cells to form into specific shapes and structures, we present a new approach to shape modeling based on self-organizing primitives whose behavi...
170
click to vote
TIME
2008
IEEE
16 years 28 days ago
2008
IEEE
The movement in public transport networks is organized according to schedules. The real-world schedules are specified by a set of periodic rules and a number of irregularities fr...
207
click to vote
ADBIS
2008
Springer
16 years 27 days ago
2008
Springer
Abstract. We propose a new approach for enhancing collaborative information retrieval by means of incorporating positional data for a location-aware personalized retrieval process....
185
click to vote
MOBIQUITOUS
2007
IEEE
16 years 25 days ago
2007
IEEE
— Several intrusion detection approaches have been proposed for mobile adhoc networks. Many of the approaches assume that there are sufficient neighbors to help monitor the trans...