6020 search results - page 1176 / 1204 » A New Approach to Model Counting |
110
click to vote
ICCAD
1993
IEEE
15 years 6 months ago
1993
IEEE
A new technique for design centering, and for polytope approximation of the feasible region for a design are presented. In the rst phase, the feasible region is approximated by a ...
126
click to vote
DEXA
2009
Springer
15 years 5 months ago
2009
Springer
Abstract. Sensor database is a type of database management system which offers sensor data and stored data in its data model and query languages. In this system, when a user poses ...
154
click to vote
IWAN
2000
Springer
15 years 5 months ago
2000
Springer
This paper presents the main concepts of the IST Project FAIN "Future Active IP Networks" [10], a three-year collaborative research project, whose main task is to develo...
125
click to vote
COLT
1995
Springer
15 years 5 months ago
1995
Springer
The Noise Sensitivity Signature (NSS), originally introduced by Grossman and Lapedes (1993), was proposed as an alternative to cross validation for selecting network complexity. I...
122
click to vote
ICCV
1995
IEEE
15 years 5 months ago
1995
IEEE
In this paper we describe a new e cient algorithm for recognizing 3D objects by combining photometric and geometric invariants. Some photometric properties are derived, that are i...