271 search results - page 44 / 55 » Observational Completeness on Abstract Interpretation |
ACII
2007
Springer
14 years 5 months ago
2007
Springer
Abstract. Bodily expression of felt emotion was associated with emotionspecific changes in gait parameters and kinematics. The emotions angry, sad, content, joy and no emotion at a...
CALCO
2007
Springer
14 years 5 months ago
2007
Springer
Besides functional correctness, specifications must describe other properties of permissible implementations. We want to use simple algebraic techniques to specify resource usage ...
CGI
2006
IEEE
14 years 4 months ago
2006
IEEE
Abstract. A new adaptive tessellation method for general CatmullClark subdivision surfaces is presented. Development of the new method is based on the observation that optimum adap...
ISCAS
2006
IEEE
14 years 4 months ago
2006
IEEE
Abstract— Networks-on-chip (NoCs) are a scalable interconnect solution to large scale multiprocessor systems on chip and are rapidly becoming reality. As the ratio of embedded co...
CONCUR
2005
Springer
14 years 4 months ago
2005
Springer
Abstract. Reactive systems are often modelled as two person antagonistic games where one player represents the system while his adversary represents the environment. Undoubtedly, t...