Sciweavers

3082 search results - page 341 / 617
» New Bounds for the Controller Problem
Sort
View
AGENTS
1997
Springer
15 years 11 months ago
Adaptable Local Level Arbitration of Behaviors
During the last few years, and in an attempt to provide an ecient alternative to classical methods to designing robot control structures, the behavior-based approach has emerged....
Mohamed Salah Hamdi, Karl Kaiser
CORR
2008
Springer
110views Education» more  CORR 2008»
15 years 6 months ago
Audit and Change Analysis of Spreadsheets
Because spreadsheets have a large and growing importance in real-world work, their contents need to be controlled and validated. Generally spreadsheets have been difficult to veri...
John C. Nash, Neil Smith, Andy Adler
ICDT
2009
ACM
166views Database» more  ICDT 2009»
16 years 7 months ago
A compositional framework for complex queries over uncertain data
The ability to flexibly compose confidence computation with the operations of relational algebra is an important feature of probabilistic database query languages. Computing confi...
Christoph Koch, Michaela Götz
AI
2005
Springer
15 years 6 months ago
MaxSolver: An efficient exact algorithm for (weighted) maximum satisfiability
Maximum Boolean satisfiability (max-SAT) is the optimization counterpart of Boolean satisfiability (SAT), in which a variable assignment is sought to satisfy the maximum number of...
Zhao Xing, Weixiong Zhang
MIG
2009
Springer
16 years 1 months ago
Integrated Analytic and Linearized Inverse Kinematics for Precise Full Body Interactions
Abstract. Despite the large success of games grounded on movement-based interactions the current state of full body motion capture technologies still prevents the exploitation of p...
Ronan Boulic, Daniel Raunhardt