6020 search results - page 285 / 1204 » A New Approach to Model Counting |
171
click to vote
AAAI
2000
15 years 8 months ago
2000
A new approach to evolutionary computation, called Learnable Evolution Model (LEM), has been applied to the problem of optimizing tube structures of heat exchangers. In contrast t...
161
click to vote
ER
2004
Springer
16 years 2 days ago
2004
Springer
A progressive spatial query retrieves spatial data based on previous queries (e.g., to fetch data in a more restricted area with higher resolution). A direct query, on the other si...
151
click to vote
ICECCS
2007
IEEE
15 years 10 months ago
2007
IEEE
A current trend in the software engineering community is to integrate different tools in a friendly and powerful development environment for use by final users. This is also the c...
192
click to vote
WSCG
2003
15 years 8 months ago
2003
We aim to reconstruct three-dimensional polyhedra from axonometric line drawings. Existence of mirror symmetry in polyhedra can assist the reconstruction process. We present a new...
188
click to vote
HPCN
1995
Springer
15 years 10 months ago
1995
Springer
The performance of parallel computing systems is strongly dependent on the runtime behaviour of parallel programs. This paper describes a new approach to measure and analyze the ru...