Sciweavers

10907 search results - page 144 / 2182
» Constraint Based Strategies
Sort
View
ICIAP
2005
ACM
15 years 3 months ago
Real-Time 3D Hand Shape Estimation Based on Inverse Kinematics and Physical Constraints
We are researching for real-time hand shape estimation, which we are going to apply to user interface and interactive applications. We have employed a computer vision approach, sin...
Ryuji Fujiki, Daisaku Arita, Rin-ichiro Taniguchi
SAS
2004
Springer
136views Formal Methods» more  SAS 2004»
15 years 3 months ago
Constraint-Based Linear-Relations Analysis
Abstract. Linear-relations analysis of transition systems discovers linear invariant relationships among the variables of the system. These relationships help establish important s...
Sriram Sankaranarayanan, Henny B. Sipma, Zohar Man...
COORDINATION
2006
Springer
15 years 1 months ago
Compositional Semantics of an Actor-Based Language Using Constraint Automata
Abstract. Rebeca is an actor-based language which has been successfully applied to model concurrent and distributed systems. The semantics of Rebeca in labeled transition system is...
Marjan Sirjani, Mohammad Mahdi Jaghoori, Christel ...
ECAI
2010
Springer
14 years 11 months ago
Constraint-Based Controller Synthesis in Non-Deterministic and Partially Observable Domains
Controller synthesis consists in automatically building controllers taking as inputs observation data and returning outputs guaranteeing that the controlled system satisfies some d...
Cédric Pralet, Gérard Verfaillie, Mi...
CINQ
2004
Springer
138views Database» more  CINQ 2004»
15 years 3 months ago
Relevancy in Constraint-Based Subgroup Discovery
This chapter investigates subgroup discovery as a task of constraint-based mining of local patterns, aimed at describing groups of individuals with unusual distributional character...
Nada Lavrac, Dragan Gamberger