Sciweavers

7340 search results - page 253 / 1468
» The Behavior of Tutoring Systems
Sort
View
ANSOFT
1999
85views more  ANSOFT 1999»
15 years 6 months ago
Modeling Concurrent Real-Time Processes Using Discrete Events
We give a formal framework for studying real-time discrete-event systems. It describes concurrent processes as sets of possible behaviors. Compositions of processes are processes ...
Edward A. Lee
NCA
2010
IEEE
15 years 1 months ago
Composable continuous-space programs for robotic swarms
Programmability is an increasingly important barrier to the deployment of multi-robot systems, as no prior approach allows routine composition and reuse of general aggregate behavi...
Jonathan Bachrach, Jacob Beal, James McLurkin
ASWEC
2009
IEEE
15 years 4 months ago
From Requirements to Embedded Software - Formalising the Key Steps
Failure of a design to satisfy a system's requirements can result in schedule and cost overruns. When using current approaches, ensuring requirements are satisfied is often d...
Toby Myers, R. Geoff Dromey
CONEXT
2007
ACM
15 years 10 months ago
Proactive replication in distributed storage systems using machine availability estimation
Distributed storage systems provide data availability by means of redundancy. To assure a given level of availability in case of node failures, new redundant fragments need to be ...
Alessandro Duminuco, Ernst Biersack, Taoufik En-Na...
IROS
2007
IEEE
193views Robotics» more  IROS 2007»
16 years 25 days ago
Temporal segmentation and recognition of body motion data based on inter-limb correlation analysis
— A method for segmentation and recognition of human body behavior data is proposed. Recognition of human body movements is getting larger interests in robotic research field, s...
Toru Nakata