154 search results - page 19 / 31 » Reasoning about edits to feature models |
108
click to vote
IJCAI
1997
14 years 11 months ago
1997
High-level understanding of data must involve the interplay between substantial prior knowledge with geometric and statistical techniques. Our approach emphasizes the recovery of ...
78
Voted
CAV
2008
Springer
14 years 11 months ago
2008
Springer
We propose a type system for lock-freedom in the -calculus, which guarantees that certain communications will eventually succeed. Distinguishing features of our type system are: it...
117
click to vote
SOSYM
2002
14 years 9 months ago
2002
Abstract. There is rapidly growing momentum for web enabled agents that reason about and dynamically integrate the appropriate knowledge and services at run-time. The dynamic integ...
168
click to vote
POPL
2007
ACM
15 years 10 months ago
2007
ACM
We present a formal model of memory that both captures the lowlevel features of C's pointers and memory, and that forms the basis for an expressive implementation of separati...
88
Voted
CVPR
2011
IEEE
14 years 5 months ago
2011
IEEE
Current face image retrieval methods achieve impressive results, but lack efficient ways to refine the search, particularly for geometric face attributes. Users cannot easily ...