6020 search results - page 601 / 1204 » A New Approach to Model Counting |
214
click to vote
TII
2010
15 years 1 months ago
2010
With growing cost of electricity, the power management of server clusters has become an important problem. However, most previous researchers only address the challenge in homogen...
165
click to vote
ICCV
2009
IEEE
17 years 5 days ago
2009
IEEE
We present a novel variant of the RANSAC algorithm
that is much more efficient, in particular when dealing with
problems with low inlier ratios. Our algorithm assumes
that there...
189
click to vote
ALT
2005
Springer
16 years 4 months ago
2005
Springer
Within learning theory teaching has been studied in various ways. In a common variant the teacher has to teach all learners that are restricted to output only consistent hypotheses...
198
click to vote
SEW
2006
IEEE
16 years 1 months ago
2006
IEEE
It is widely held that programming language extensions that support separation of concerns and that are also integrative benefit development, maintenance and reuse of software de...
207
click to vote
ER
2000
Springer
15 years 10 months ago
2000
Springer
Relational database systems represent the current standard technology for implementing database applications. Now that the object-oriented paradigm becomes more and more mature in...