403 search results - page 31 / 81 » Variable ranges in linear constraints |
SAS
1994
Springer
14 years 17 days ago
1994
Springer
Amtoft has formulated an "on-line" constraint normalization method for solving a strictness inference problem inspired by Wright. From the syntactic form of the normaliz...
SAS
2009
Springer
14 years 9 months ago
2009
Springer
Polyhedra: An Abstract Domain to Infer Interval Linear Relationships Liqian Chen1,2 , Antoine Min?e2,3 , Ji Wang1 , and Patrick Cousot2,4 1 National Laboratory for Parallel and Dis...
CP
2008
Springer
13 years 10 months ago
2008
Springer
Abstract. Call control features (e.g., call-divert, voice-mail) are primitive options to which users can subscribe off-line to personalise their service. The configuration of a fea...
HAPTICS
2006
IEEE
14 years 2 months ago
2006
IEEE
We examine the motion control bandwidth and stable impedance range of the Cobotic Hand Controller, a novel, six-degree-offreedom, admittance controlled haptic display. A highly ge...
ECAI
2006
Springer
14 years 4 days ago
2006
Springer
Abstract. We address the problem of representing big sets of binary constraints compactly. Binary constraints in the form of 2literal clauses are ubiquitous in propositional formul...