870 search results - page 20 / 174 » Constructions for Difference Triangle Sets |
ICSE
2008
IEEE-ACM
14 years 8 months ago
2008
IEEE-ACM
Nowadays, large-scale industrial software systems may involve hundreds of developers working on hundreds of different but related models representing parts of the same system spec...
ICLP
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. In recent work, a general framework for specifying program correspondences under the answer-set semantics has been defined. The framework allows to define different not...
ICDM
2005
IEEE
14 years 1 months ago
2005
IEEE
Given a large collection of medical images of several conditions and treatments, how can we succinctly describe the characteristics of each setting? For example, given a large col...
ICCV
2009
IEEE
13 years 5 months ago
2009
IEEE
We present a system that constructs "implicit shape models" for classes of rigid 3D objects and utilizes these models to estimating the pose of class instances in single...
AIPS
2006
13 years 9 months ago
2006
Multi-point constructive search (MPCS) performs a series of resource-limited backtracking searches where each search begins either from an empty solution (as in randomized restart...