790 search results - page 30 / 158 » Abstract modeling for engineering and engagement level simul... |
IROS
2007
IEEE
14 years 3 months ago
2007
IEEE
Abstract— This paper addresses locomotion with active balancing, via task space control with prioritization. The center of gravity (COG) and foot of the swing leg are treated as ...
TACAS
2005
Springer
14 years 2 months ago
2005
Springer
SAT-based Predicate Abstraction for ANSI-C Edmund Clarke1 Daniel Kroening2 Natasha Sharygina1,3 Karen Yorav4 1 Carnegie Mellon University, School of Computer Science 2 ETH Zuerich,...
STORYTELLING
2007
Springer
14 years 2 months ago
2007
Springer
Virtual agents, to be expressive, not only need algorithms for displaying the subtleties of human behaviour, but also require environments and tools so that people can author them....
JLP
2010
13 years 7 months ago
2010
Abstract. ComputationalsystemsareoftenrepresentedbymeansofKripkestructures, and related using simulations. We propose rewriting logic as a flexible and executable framework in whi...
CODES
2009
IEEE
14 years 1 months ago
2009
IEEE
Performance estimation of Multi-Processor System-On-Chip (MPa high abstraction level is required in order to perform early architecture exploration and accurate design validations...