6020 search results - page 640 / 1204 » A New Approach to Model Counting |
227
click to vote
ICCV
1995
IEEE
15 years 11 months ago
1995
IEEE
A new information-theoretic approach is presented for finding the pose of an object in an image. The technique does not require information about the surface properties of the ob...
228
click to vote
WSC
2008
15 years 9 months ago
2008
This paper describes research that investigated the application of 3D Augmented Reality (AR) for animating traffic simulation models in real time to support the planning and desig...
197
Voted
NIPS
2004
15 years 8 months ago
2004
In the analysis of natural images, Gaussian scale mixtures (GSM) have been used to account for the statistics of filter responses, and to inspire hierarchical cortical representat...
168
click to vote
WSC
2004
15 years 8 months ago
2004
In 2001, Detroit Metropolitan Wayne County Airport (DTW) opened a new runway parallel to three existing runways. While this increases DTW's runway capacity, the airport is se...
221
click to vote
ENTCS
2008
15 years 7 months ago
2008
The Event-B method is a formal approach to modelling systems, using refinement. Initial specification is a high level of abstraction; detail is added in refinement steps as the de...