1743 search results - page 160 / 349 » Generalized Modal Satisfiability |
118
click to vote
IWANN
2009
Springer
15 years 8 months ago
2009
Springer
We propose a general method for estimating the distance between a compact subspace K of the space L1 ([0, 1]s ) of Lebesgue measurable functions defined on the hypercube [0, 1]s ,...
115
click to vote
MHCI
2009
Springer
15 years 8 months ago
2009
Springer
This paper outlines the design requirements of a GPS car navigation system for the elderly and the young by proposing a set of new guidelines for designing such systems. Our study...
163
Voted
CA
2000
IEEE
15 years 8 months ago
2000
IEEE
We present a very general geometrical correction method for enforcing collisions and other geometrical constraints between polygonal mesh surfaces. It is based on a global resolut...
137
click to vote
IJCNN
2000
IEEE
15 years 8 months ago
2000
IEEE
In our recent work, a general method called the stable state analysis technique was developed to determine constraints that the weights in the Hopfield energy function must satisf...
110
Voted
ASPDAC
1999
ACM
15 years 7 months ago
1999
ACM
We present an algorithm for solving a general min-cut, twoway partitioning problem subject to timing constraints. The problem is formulated as a constrained programming problem an...