2834 search results - page 352 / 567 » Representing Trees with Constraints |
141
click to vote
ATC
2009
Springer
15 years 10 months ago
2009
Springer
Remote attestation is one of the key functionalities provided by trusted platforms. Most current attestation approaches are based on cryptographic hash functions, which are appropr...
159
click to vote
CLOR
2006
15 years 10 months ago
2006
We present a new class of statistical models for part-based object recognition. These models are explicitly parametrized according to the degree of spatial structure that they can ...
164
click to vote
ECAI
2006
Springer
15 years 10 months ago
2006
Springer
Several formalisms exist to express and solve decision problems. Each is designed to capture different kinds of knowledge: utilities expressing preferences, uncertainties on the en...
153
click to vote
FAABS
2000
Springer
15 years 10 months ago
2000
Springer
This paper integrates research in robot programming and reasoning about action with research in model-based reasoning about physical systems to provide a capability for modeling an...
177
click to vote
ATAL
2008
Springer
15 years 8 months ago
2008
Springer
Business contracts tend to be complex. In current practice, contracts are often designed by hand and adopted by their participants after, at best, a manual analysis. This paper mo...