3400 search results - page 331 / 680 » tools 2008 |
144
click to vote
ICPR
2008
IEEE
16 years 8 months ago
2008
IEEE
Extensive research has been done to show that heartbeats are composed of the interaction of many physiological components operating on different time scales, with nonlinear and se...
151
click to vote
KBSE
2008
IEEE
16 years 1 months ago
2008
IEEE
Many approaches to software verification are currently semi-automatic: a human must provide key logical insights — e.g., loop invariants, class invariants, and frame axioms tha...
198
Voted
DSN
2008
IEEE
16 years 1 months ago
2008
IEEE
: Automated tools for understanding application behavior and its changes during the application life-cycle are essential for many performance analysis and debugging tasks. Applicat...
195
click to vote
IJMMS
2008
15 years 6 months ago
2008
Generally, an experienced therapist continuously monitors the affective cues of the children with Autism Spectrum Disorders (ASD) and adjusts the course of the intervention accord...
177
click to vote
IS
2008
15 years 6 months ago
2008
In this paper, we formalize the digital library (DL) integration problem and propose an overall approach based on the 5S (streams, structures, spaces, scenarios, and societies) fr...