Sciweavers

835 search results - page 8 / 167
» Characterizing rosy theories
Sort
View
CVPR
2008
IEEE
15 years 27 days ago
Characterizing the shadow space of camera-light pairs
We present a theoretical analysis for characterizing the shadows cast by a point light source given its relative position to the camera. In particular, we analyze the epipolar geo...
Daniel A. Vaquero, Matthew Turk, Ramesh Raskar, Ro...
ICRA
2000
IEEE
73views Robotics» more  ICRA 2000»
14 years 3 months ago
Stability Characterizations of Fixtured Rigid Bodies with Coulomb Friction
This paper formally introduces several stability characterizations of £xtured three-dimensional rigid bodies initially at rest and in unilateral contact with Coulomb friction. The...
Jong-Shi Pang, Jeffrey C. Trinkle
QEST
2009
IEEE
14 years 5 months ago
Nondeterministic Labeled Markov Processes: Bisimulations and Logical Characterization
We extend the theory of labeled Markov processes with internal nondeterminism, a fundamental concept for the further development of a process theory with abstraction on nondetermi...
Pedro R. D'Argenio, Nicolás Wolovick, Pedro...
SAGT
2009
Springer
177views Game Theory» more  SAGT 2009»
14 years 5 months ago
Characterizing Incentive Compatibility for Convex Valuations
We study implementability in dominant strategies of social choice functions when sets of types are multi-dimensional and convex, sets of outcomes are arbitrary, valuations for outc...
André Berger, Rudolf Müller, Seyed Hos...
IAT
2008
IEEE
14 years 5 months ago
Characterizing the Outcomes of Argumentation-Based Integrative Negotiation
In the negotiation literature we find two relatively distinct types of negotiation. The two types are known as integrative negotiations and distributive negotiations. Integrative...
Yannis Dimopoulos, Pavlos Moraitis, Leila Amgoud