1609 search results - page 131 / 322 » Problem Structure and Dependable Architecture |
108
Voted
AI
2003
Springer
15 years 5 months ago
2003
Springer
Many AI tasks can be formalized as constraint satisfaction problems (CSPs), which involve finding values for variables subject to constraints. While solving a CSP is an NP-complet...
80
Voted
ATAL
2003
Springer
15 years 5 months ago
2003
Springer
In this paper we address the problem of automatically deriving vocabularies of motion modules from human motion data, taking advantage of the underlying spatio-temporal structure ...
113
Voted
LWA
2004
15 years 1 months ago
2004
This paper describes nonparametric Bayesian treatments for analyzing records containing occurrences of items. The introduced model retains the strength of previous approaches that...
125
Voted
CORR
2010
Springer
14 years 9 months ago
2010
Springer
The structural properties of graphs are usually characterized in terms of invariants, which are functions of graphs that do not depend on the labeling of the nodes. In this paper ...
97
Voted
DAC
2010
ACM
15 years 1 months ago
2010
ACM
Vectorless power grid verification makes it possible to evaluate worst-case voltage drops without enumerating possible current waveforms. Under linear current constraints, the vec...