874 search results - page 133 / 175 » Computing Weighted Solutions in Answer Set Programming |
146
click to vote
JIRS
2008
15 years 2 months ago
2008
Abstract This paper proposes an approach for reducing the computational complexity of a model-predictive-control strategy for discrete-time hybrid systems with discrete inputs only...
108
click to vote
ICPR
2006
IEEE
16 years 3 months ago
2006
IEEE
We present a unified framework for modeling and solving invariant point pattern matching problems. Invariant features are encoded as potentials in a probabilistic graphical model....
123
Voted
ICICS
2009
Springer
15 years 7 days ago
2009
Springer
The Trusted Computing Group (TCG) proposed remote attestation as a solution for establishing trust among distributed applications. However, current TCG attestation architecture req...
120
Voted
ICPR
2006
IEEE
16 years 3 months ago
2006
IEEE
Viola and Jones (VJ) cascade classification methods have proven to be very successful in detecting objects belonging to a single class -- e.g., faces. This paper addresses the mor...
152
click to vote
SC
2009
ACM
15 years 9 months ago
2009
ACM
The UNIC code is being developed as part of the DOE’s Nuclear Energy Advanced Modeling and Simulation (NEAMS) program. UNIC is an unstructured, deterministic neutron transport c...