5205 search results - page 82 / 1041 » Tilings and model theory |
ICDE
2007
IEEE
14 years 3 months ago
2007
IEEE
Control theory is a well established discipline that has emerged from aeronautical, electrical, and mechanical engineering to provide a formal approach to building robust systems....
HICSS
2002
IEEE
14 years 1 months ago
2002
IEEE
As XML is gathering more and more importance in the field of data interchange in distributed business to business (B2B) applications, it is increasingly important to provide a for...
ECAI
2010
Springer
13 years 6 months ago
2010
Springer
Backbones of propositional theories are literals that are true in every model. Backbones have been used for characterizing the hardness of decision and optimization problems. Moreo...
ICRA
2009
IEEE
14 years 3 months ago
2009
IEEE
Abstract— This paper models (large) deformations of shelllike objects under the grasping of a robot hand. Classical nonlinear theory of thin shells [21, pp. 186-194] is generaliz...
MSS
2008
IEEE
13 years 8 months ago
2008
IEEE
: This paper develops a theory of probabilistic models for risky choices. Part of this theory can be viewed as an extension of the expected utility theory to account for bounded ra...