6020 search results - page 662 / 1204 » A New Approach to Model Counting |
189
click to vote
SAC
2008
ACM
15 years 7 months ago
2008
ACM
The basic theory of supervisory control of discrete-event systems is extended with the notion of templates, which simplifies the modeling of controllers since one can work with co...
208
click to vote
ICRA
2010
IEEE
15 years 6 months ago
2010
IEEE
— Classic registration methods for model-based tracking try to align the projected edges of a 3D model with the edges of the image. However, wrong matches at low level can make t...
211
click to vote
ICC
2009
IEEE
15 years 5 months ago
2009
IEEE
-- We develop a new integer linear programming model to optimally design demand-wise shared protection (DSP) networks to achieve specified minimum levels of dual-failure restorabil...
255
click to vote
ICMCS
2009
IEEE
15 years 5 months ago
2009
IEEE
In recent years the video event understanding is an active research topic, with many applications in surveillance, security, and multimedia search and mining. In this paper we foc...
220
click to vote
MOBIHOC
2006
ACM
16 years 7 months ago
2006
ACM
Traditionally, ad hoc networks have been viewed as a connected graph over which end-to-end routing paths had to be established. Mobility was considered a necessary evil that inval...