2813 search results - page 399 / 563 » Formalizing Architectural Connection |
167
click to vote
ECCV
2010
Springer
15 years 10 months ago
2010
Springer
Many man-made and natural structures consist of similar elements arranged in regular patterns. In this paper we present an unsupervised approach for discovering and reasoning on re...
246
click to vote
ESOP
2006
Springer
15 years 10 months ago
2006
Springer
Using a call-by-value functional language as an example, this article illustrates the use of coinductive definitions and proofs in big-step operational semantics, enabling it to d...
257
click to vote
ICCV
1995
IEEE
15 years 10 months ago
1995
IEEE
A novel scheme for the detection of object boundaries is presented. The technique is based on active contours evolving in time according to intrinsic geometric measures of the imag...
181
click to vote
VISSYM
2007
15 years 8 months ago
2007
We present TrustNeighborhoods, a security trust visualization for situational awareness on the Internet aimed at novice and intermediate users of a distributed file sharing system...
163
click to vote
DLOG
2008
15 years 8 months ago
2008
Distributed Description Logics (DDL) is a KR formalism that enables reasoning with multiple ontologies interconnected by directional semantic mapping. Subsumption propagation in DD...