6020 search results - page 879 / 1204 » A New Approach to Model Counting |
129
click to vote
RAS
2000
15 years 6 months ago
2000
In the past decade, a large number of robots has been built that explicitly implement biological navigation behaviours. We review these biomimetic approaches using a framework tha...
177
click to vote
CGF
1999
15 years 6 months ago
1999
This paper describes the successful combination of pre-generated and dynamically updated image-based representations to accelerate the visualization of complex virtual environment...
189
click to vote
JCC
2002
15 years 6 months ago
2002
: A new method for the characterization of molecules based on the model approach of molecular surfaces is presented. We use the topographical properties of the surface as well as t...
162
click to vote
RML
2002
15 years 6 months ago
2002
In E-commerce processes, various rules and constraints regarding product specifications, pricing, terms and conditions are exchanged between vendors and buyers. Developing a forma...
184
click to vote
CGF
2008
15 years 5 months ago
2008
This paper deals with the reconstruction of 2-dimensional geometric shapes from unorganized 1-dimensional cross-sections. We study the problem in its full generality following the...