12774 search results - page 377 / 2555 » A Framework for Proof Systems |
191
click to vote
CTW
2004
15 years 6 months ago
2004
Abstract Work domain analysis (WDA) has been applied to a range of complex work domains, but few WDAs have been undertaken in medical contexts. One ng effort suggested that clinica...
176
click to vote
ICRA
2006
IEEE
16 years 28 days ago
2006
IEEE
Abstract— This paper presents a framework for the dynamical formulation and control of humanoid systems. In this framework unactuated virtual joints are used to describe the huma...
194
click to vote
HICSS
2009
IEEE
16 years 1 months ago
2009
IEEE
Detecting and mitigating insider threat is a critical element in the overall information protection strategy. By successfully implementing tactics to detect this threat, organizat...
195
click to vote
RTCSA
2009
IEEE
16 years 1 months ago
2009
IEEE
—One step in the verification of hard real-time systems is to determine upper bounds on the worst-case execution times (WCET) of tasks. To obtain tight bounds, a WCET analysis h...
209
click to vote
CW
2006
IEEE
16 years 28 days ago
2006
IEEE
In this paper, we present a simple and robust Mixed Reality (MR) framework that allows for real-time interaction with Virtual Humans in real and virtual environments under consist...