269 search results - page 49 / 54 » Applications of MetiTarski in the Verification of Control an... |
FPL
2001
Springer
13 years 11 months ago
2001
Springer
System and processor architectures depend on changes in technology. Looking ahead as die density and speed increase, power consumption and on chip interconnection delay become incr...
ICICIC
2006
IEEE
14 years 22 days ago
2006
IEEE
Nowadays the AFIS (Automatic fingerprint Identification system) plays more and more important roles in various applications such as access control, ATM card verification and crimi...
ISESE
2006
IEEE
14 years 22 days ago
2006
IEEE
Spreadsheets are one of the most commonly used types of programs in the world, and it is important that they be sufficiently dependable. To help end users who create spreadsheets ...
IPPS
2002
IEEE
13 years 11 months ago
2002
IEEE
Conventional network management is based on SNMP and often run in a centralized manner. Although the centralized management approach gives network administrators a flexibility of ...
SIGGRAPH
1989
ACM
13 years 10 months ago
1989
ACM
This paper presents a hybrid approach to the animation of human locomotion which combines goal-directed and dynamic motion control. Knowledge about a locomotion cycle is incorpora...