3146 search results - page 173 / 630 » Efficient Consequence Finding |
222
click to vote
VLDB
1991
ACM
15 years 9 months ago
1991
ACM
Multi-level transactions are a variant of open nested transactions in which the subtransactions correspond to operations at different levels of a layered system architecture. The ...
163
click to vote
CSCWD
2008
Springer
15 years 7 months ago
2008
Springer
Design is a complex process often described as a collaboration between a designer and herself. In architectural design, a designer must consider the selection of a subset of actio...
153
click to vote
FMCAD
2008
Springer
15 years 7 months ago
2008
Springer
Performing synthesis and verification in isolation has two undesirable consequences: (1) verification runs the risk of becoming intractable, and (2) strong sequential optimization...
151
click to vote
MVA
2007
15 years 7 months ago
2007
We propose use of an appearance manifold with embedded covariance matrix as a technique for recognizing 3D objects from images that are influenced by geometric and quality-degrade...
137
click to vote
EUMAS
2006
15 years 7 months ago
2006
Abstract. Support for new forms of organization and social interaction requires understanding the influence of structure on behavior. Goal dependencies indicate some relationship b...