4084 search results - page 716 / 817 » Constraints in spatial structures |
110
click to vote
COLT
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. We present a unified and complete account of maximum entropy distribution estimation subject to constraints represented by convex potential functions or, alternatively, b...
117
click to vote
ESOP
2006
Springer
15 years 5 months ago
2006
Springer
We present a multi-lingual type inference system for checking type safety of programs that use the Java Native Interface (JNI). The JNI uses specially-formatted strings to represe...
108
click to vote
HYBRID
2000
Springer
15 years 5 months ago
2000
Springer
Abstract. We propose a language, called Charon, for modular specification of interacting hybrid systems. For hierarchical description of the system architecture, Charon supports bu...
130
click to vote
ICCV
1995
IEEE
15 years 5 months ago
1995
IEEE
—We present a method to determine 3D motion and structure of multiple objects from two perspective views, using adaptive Hough transform. In our method, segmentation is determine...
105
Voted
SC
1995
ACM
15 years 5 months ago
1995
ACM
: Data distribution is one of the key aspects that a parallelizing compiler for a distributed memory architecture should consider, in order to get efficiency from the system. The ...