5019 search results - page 250 / 1004 » Computing in Quotient Groups |
170
click to vote
ECAI
2010
Springer
15 years 7 months ago
2010
Springer
We study the problem of fairly dividing a set of goods amongst a group of agents, when those agents have preferences that are ordinal relations over alternative bundles of goods (r...
192
click to vote
PUC
2000
15 years 6 months ago
2000
In this paper the term implicit human computer interaction is defined. It is discussed how the availability of processing power and advanced sensing technology can enable a shift ...
198
click to vote
IJCV
2010
15 years 5 months ago
2010
We develop a computational model of shape that extends existing Riemannian models of shape of curves to multidimensional objects of general topological type. We construct shape sp...
183
click to vote
ICRA
2010
IEEE
15 years 4 months ago
2010
IEEE
Endoscopic camera for surgical navigation and 3D visualization requires precise and stable estimates of the calibration parameters. The estimation of the hand-eye transform between...
180
click to vote
CADE
2002
Springer
16 years 7 months ago
2002
Springer
We show that a conjunctive normal form (CNF) formula F is unsatisfiable iff there is a set of points of the Boolean space that is stable with respect to F. So testing the satisfiab...