10072 search results - page 115 / 2015 » Composition of Model Programs |
115
Voted
ICIP
2007
IEEE
16 years 4 months ago
2007
IEEE
Querying by Visual Thesaurus (VT) is a novel paradigm for content-based image retrieval approaches for it gives the user the possibility, in case of inappropriate starting example...
116
click to vote
CVPR
2010
IEEE
15 years 15 days ago
2010
IEEE
We propose Recursive Compositional Models (RCMs) for simultaneous multi-view multi-object detection and parsing (e.g. view estimation and determining the positions of the object s...
111
click to vote
ESOP
2004
Springer
15 years 8 months ago
2004
Springer
ESOP 2004, LNCS 2986, pages 140–154, 2004. c Springer–Verlag, Berlin Heildelberg 2003. We propose a new method for the static analysis of entity authentication protocols. We d...
111
click to vote
SOCO
2008
Springer
15 years 2 months ago
2008
Springer
Data-centric business applications comprise an important class of distributed systems that includes on-line stores, document management systems, and patient portals. However, their...
108
click to vote
LICS
1996
IEEE
15 years 6 months ago
1996
IEEE
We present a formal model for concurrent systems. The model represents synchronous and asynchronous components in a uniform framework that supports compositional (assume-guarantee)...