1297 search results - page 191 / 260 » Control of systems integrating logic, dynamics, and constrai... |
104
click to vote
DATE
2010
IEEE
15 years 5 months ago
2010
IEEE
-- Starting Electronic System Level (ESL) design flows with executable High-Level Models (HLMs) has the potential to sustainably improve productivity. However, writing good HLMs fo...
144
click to vote
BTW
2007
Springer
15 years 7 months ago
2007
Springer
Abstract: We propose a new system that is able to handle the entire Personal Dataspace of a user. A Personal Dataspace includes all data pertaining to a user on all his disks and o...
HAIS
2009
Springer
15 years 6 months ago
2009
Springer
A local Spanish company that produces electric heaters needs an energy saving device to be integrated with the heaters. It was proven that a hybrid artificial intelligent systems (...
152
click to vote
FROCOS
2011
Springer
14 years 1 months ago
2011
Springer
A dominant approach to Satisfiability Modulo Theories (SMT) relies on the integration of a Conflict-Driven-Clause-Learning (CDCL) SAT solver and of a decision procedure able to h...
SIGGRAPH
1999
ACM
15 years 5 months ago
1999
ACM
We introduce a novel algorithm for transforming character animation sequences that preserves essential physical properties of the motion. By using the spacetime constraints dynami...