Sciweavers

7536 search results - page 65 / 1508
» The CLEAR 2007 Evaluation
Sort
View
ATVA
2008
Springer
102views Hardware» more  ATVA 2008»
13 years 10 months ago
Time-Progress Evaluation for Dense-Time Automata with Concave Path Conditions
The evaluation of successor or predecessor state spaces through time progress is a central component in the model-checking algorithm of dense-time automata. The definition of the t...
Farn Wang
ICML
2005
IEEE
14 years 8 months ago
ROC confidence bands: an empirical evaluation
This paper is about constructing confidence bands around ROC curves. We first introduce to the machine learning community three band-generating methods from the medical field, and...
Sofus A. Macskassy, Foster J. Provost, Saharon Ros...
RTAS
2003
IEEE
14 years 1 months ago
Evaluation of Application-aware Heterogeneous Embedded Systems for Performance and Energy Consumption
In this work, we first present an application-initiated strategy that aims to control the energy consumption, while simultaneously enhancing the performance of a heterogeneous emb...
Jayaprakash Pisharath, Nan Jiang, Alok N. Choudhar...
ECAL
2003
Springer
14 years 1 months ago
Simulating the Evolution of Ant Behaviour in Evaluating Nest Sites
When an ant colony needs to find a new nest, scouts are sent out to evaluate the suitability of potential sites, particularly their size. It has been suggested that ant scouts of L...
James A. R. Marshall, Tim Kovacs, Anna R. Dornhaus...
VRST
1999
ACM
14 years 6 days ago
Testbed evaluation of virtual environment interaction techniques
As immersive virtual environment (VE) applications become more complex, it is clear that we need a rm understanding of the principles of VE interaction. In particular, designers n...
Doug A. Bowman, Donald B. Johnson, Larry F. Hodges