Sciweavers

2404 search results - page 237 / 481
» Postmodernism and Control Engineering
Sort
View
FSTTCS
2007
Springer
16 years 21 days ago
Program Analysis Using Weighted Pushdown Systems
Abstract. Pushdown systems (PDSs) are an automata-theoretic formalism for specifying a class of infinite-state transition systems. Infiniteness comes from the fact that each con...
Thomas W. Reps, Akash Lal, Nicholas Kidd
IVA
2007
Springer
16 years 21 days ago
Avatar Puppetry Using Real-Time Audio and Video Analysis
Abstract. We present a system which consists of a lifelike agent animated in real-time using video and audio analysis from the user. This kind of system could be used for Instant M...
Sylvain Le Gallou, Gaspard Breton, Renaud Sé...
ESCIENCE
2006
IEEE
16 years 18 days ago
FAME: Adding Multi-Level Authentication to Shibboleth
The paper describes the design of FAME (Flexible Access Middleware Extension) architecture aimed at providing multi-level user authentication service for Shibboleth, which is endo...
Aleksandra Nenadic, Ning Zhang, Jay Chin, Carole A...
ICRA
2005
IEEE
108views Robotics» more  ICRA 2005»
16 years 4 days ago
Motion Emergency of Humanoid Robots by an Attractor Design of a Nonlinear Dynamics
— The human motions are generated through the interaction between the body and its environments. The information processing system defines the current motion using the signal fe...
Masafumi Okada, Kenta Osato, Yoshihiko Nakamura
SEW
2005
IEEE
16 years 4 days ago
Using Visualization to Understand Dependability: A Tool Support for Requirements Analysis
Dealing with dependability requirements is a complex task for stakeholders and analysts as many different aspects of a system must be taken into account at the same time: services...
Paolo Donzelli, Daniel Hirschbach, Victor R. Basil...