Sciweavers

11561 search results - page 1949 / 2313
» A Language for Biochemical Systems
Sort
View
ECBS
2005
IEEE
160views Hardware» more  ECBS 2005»
16 years 13 days ago
Traceability-Driven Model Refinement for Test Case Generation
Testing complex Computer-Based Systems is not only a demanding but a very critical task. Therefore the use of models for generating test data is an important goal. Tool support du...
Matthias Riebisch, Michael Hübner
HICSS
2005
IEEE
130views Biometrics» more  HICSS 2005»
16 years 13 days ago
BiRD: A Strategy to Autonomously Supplement Clinical Practice Guidelines with Related Clinical Studies
In this paper we introduce a framework to supplement and tag computerized CPG with related best-evidence automatically sourced from on-line medical literature repositories. The id...
Syed Sibte Raza Abidi, Michael Kershaw, Evangelos ...
ICECCS
2005
IEEE
125views Hardware» more  ICECCS 2005»
16 years 13 days ago
Model Checking Live Sequence Charts
Live Sequence Charts (LSCs) are a broad extension to Message Sequence Charts (MSCs) to capture complex interobject communication rigorously. A tool support for LSCs, named PlayEng...
Jun Sun 0001, Jin Song Dong
INFOVIS
2005
IEEE
16 years 13 days ago
Visualizing Coordination In Situ
Exploratory visualization environments allow users to build and browse coordinated multiview visualizations interactively. As the number of views and amount of coordination increa...
Chris Weaver
WACV
2005
IEEE
16 years 12 days ago
Automatic 2D Hand Tracking in Video Sequences
In gesture and sign language video sequences, hand motion tends to be rapid, and hands frequently appear in front of each other or in front of the face. Thus, hand location is oft...
Quan Yuan, Stan Sclaroff, Vassilis Athitsos
« Prev « First page 1949 / 2313 Last » Next »