6020 search results - page 947 / 1204 » A New Approach to Model Counting |
222
click to vote
CVPR
2011
IEEE
15 years 3 months ago
2011
IEEE
Human-nameable visual attributes offer many advantages when used as mid-level features for object recognition, but existing techniques to gather relevant attributes can be ineffici...
204
click to vote
CORR
2011
Springer
15 years 1 months ago
2011
Springer
Pervasive computing appears like a new computing era based on networks of objects and devices evolving in a real world, radically different from distributed computing, based on ne...
185
click to vote
ENTCS
2011
15 years 1 months ago
2011
The past decade has seen a remarkable resurgence of the old programme of finding more or less a priori axioms for the mathematical framework of quantum mechanics. The new impetus...
181
click to vote
JMLR
2010
15 years 1 months ago
2010
In this paper we propose a new algorithm for learning polyhedral classifiers. In contrast to existing methods for learning polyhedral classifier which solve a constrained optimiza...
208
click to vote
PROCEDIA
2010
15 years 1 months ago
2010
This work presents an approach to the obstacle avoidance problem, applicable in the frame of driver assistance. A decision, expressed as a proposed acceleration vector for the veh...