3931 search results - page 290 / 787 » Separation logic and abstraction |
176
click to vote
IJCAI
2001
15 years 8 months ago
2001
We present a novel methodology for building highly integrated multimodal systems. Our approach is motivated by neurological and behavioral theories of sensory perception in humans...
122
Voted
DAGM
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. We introduce a novel approach for separating and segmenting individual facades from streetside images. Our algorithm incorporates prior knowledge about arbitrarily shaped...
175
click to vote
TGC
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. We propose and discuss foundations for programmable overlay networks and overlay computing systems. Such overlays are built over a large number of distributed computation...
188
click to vote
ICLP
2005
Springer
16 years 7 days ago
2005
Springer
Abstract Description Logics (DLs) are a family of class (concept) based knowledge representation formalisms. They are characterised by the use of various constructors to build comp...
206
click to vote
CAV
2000
Springer
15 years 11 months ago
2000
Springer
Address: Abstraction, Composition, Symmetry, and a Little Deduction: The Remedies to State Explosion . . . . . . . . . . . . . . . . . . . . . . . . . . 1 A. Pnueli Invited Address...