Sciweavers

11160 search results - page 52 / 2232
» Incompleteness in a General Setting
Sort
View
CGI
2006
IEEE
14 years 3 months ago
Plausible Locomotion for Bipedal Creatures Using Motion Warping and Inverse Kinematics
One of the main question addressed by paleoanthropologists is the recovery of plausible motions for extinct species whose knowledge is generally limited to incomplete bones and ske...
Guillaume Nicolas, Franck Multon, Gilles Berillon,...
MOR
2006
79views more  MOR 2006»
13 years 9 months ago
The Value of Markov Chain Games with Lack of Information on One Side
We consider a two-player zero-sum game given by a Markov chain over a finite set of states K and a family of zero-sum matrix games (Gk)kK. The sequence of states follows the Marko...
Jérôme Renault
JCSS
2010
112views more  JCSS 2010»
13 years 8 months ago
Towards a dichotomy for the Possible Winner problem in elections based on scoring rules
To make a joint decision, agents (or voters) are often required to provide their preferences as linear orders. To determine a winner, the given linear orders can be aggregated acc...
Nadja Betzler, Britta Dorn
LPNMR
2009
Springer
14 years 4 months ago
The Complexity of Circumscriptive Inference in Post's Lattice
Circumscription is one of the most important formalisms for reasoning with incomplete information. It is equivalent to reasoning under the extended closed world assumption, which a...
Michael Thomas
DAC
1994
ACM
14 years 1 months ago
Error Diagnosis for Transistor-Level Verification
This paper describes a diagnosis technique for locating design errors in circuit implementations which do not match their functional specification. The method efficiently propagat...
Andreas Kuehlmann, David Ihsin Cheng, Arvind Srini...