5918 search results - page 420 / 1184 » A view of cloud computing |
137
click to vote
ECAI
1998
Springer
15 years 11 months ago
1998
Springer
The problem of minimally modifying a plan in response to changes in the specification of the planning problem has already been investigated in the literature. In this paper we cons...
160
click to vote
MFCS
1993
Springer
15 years 11 months ago
1993
Springer
We view the Chu space interpretation of linear logic as an alternative interpretation of the language of the Peirce calculus of binary relations. Chu spaces amount to K-valued bin...
184
click to vote
CVPR
2009
IEEE
15 years 10 months ago
2009
IEEE
The complexity of human detection increases significantly with a growing density of humans populating a scene. This paper presents a Bayesian detection framework using shape and m...
157
click to vote
EDBT
2010
ACM
15 years 10 months ago
2010
ACM
Entity search, a significant departure from page-based retrieval, finds data, i.e., entities, embedded in documents directly and holistically across the whole collection. This pap...
165
click to vote
SIGGRAPH
2010
ACM
15 years 9 months ago
2010
ACM
This paper describes the research of parametric and procedural modeling techniques associated with digital fabrication and form-finding within architectural design. The outcome of...