1071 search results - page 106 / 215 » Programming with enumerable sets of structures |
115
click to vote
MICCAI
1998
Springer
15 years 7 months ago
1998
Springer
In this paper we present AnatomyBrowser, a framework for integration of images and textual information in medical applications. AnatomyBrowser allows the user to combine 3D surfac...
129
click to vote
VMCAI
2007
Springer
15 years 9 months ago
2007
Springer
We present a constraint-based algorithm for the synthesis of invariants expressed in the combined theory of linear arithmetic and uninterpreted function symbols. Given a set of pro...
136
click to vote
UM
2001
Springer
15 years 7 months ago
2001
Springer
Abstract: An emerging practice in e-commerce systems is to conduct interviews with buyers in order to identify their needs. The goal of such an interview is to determine sets of pr...
121
click to vote
CP
2003
Springer
15 years 8 months ago
2003
Springer
Abstract. In many situations, a set of hard constraints encodes the feasible configurations of some system or product over which users have preferences. We consider the problem of...
116
click to vote
ORL
2011
14 years 10 months ago
2011
Computing the 1-width of the incidence matrix of a Steiner Triple System gives rise to small set covering instances that provide a computational challenge for integer programming ...