Sciweavers

4513 search results - page 384 / 903
» Modeling with a Sense of Purpose
Sort
View
159
Voted
DAC
1999
ACM
16 years 7 months ago
Equivalent Elmore Delay for RLC Trees
- Closed form solutions for the 50% delay, rise time, overshoots, and settling time of signals in an RLC tree are presented. These solutions have the same accuracy characteristics ...
Eby G. Friedman, José Luis Neves, Yehea I. ...
CADE
2007
Springer
16 years 7 months ago
Automated Reasoning in Kleene Algebra
Abstract. It has often been claimed that model checking, special purpose automated deduction or interactive theorem proving are needed for formal program development. Recently, it ...
Georg Struth, Peter Höfner
ICASSP
2009
IEEE
16 years 1 months ago
Multi-modal activity and dominance detection in smart meeting rooms
In this paper a new approach for activity and dominance modeling in meetings is presented. For this purpose low level acoustic and visual features are extracted from audio and vid...
Benedikt Hörnler, Gerhard Rigoll
IROS
2009
IEEE
134views Robotics» more  IROS 2009»
16 years 1 months ago
FES-controlled co-contraction strategies for pathological tremor compensation
Abstract— In this paper, a strategy for pathological tremor compensation based on co-contraction of antagonist muscles induced by Functional Electrical Stimulation (FES) is prese...
Antônio Padilha Lanari Bo, Philippe Poignet,...
HICSS
2007
IEEE
630views Biometrics» more  HICSS 2007»
16 years 1 months ago
The Ability-Motivation-Opportunity Framework for Behavior Research in IS
Some theoretical models used in IS research may lack explanatory power and consistency because of their failure to provide an adequate means of accounting for contextual and situa...
Jerald Hughes