3066 search results - page 213 / 614 » On Facilitating Automated Evaluation |
SIGCOMM
2006
ACM
14 years 3 months ago
2006
ACM
This paper describes VINI, a virtual network infrastructure that allows network researchers to evaluate their protocols and services in a realistic environment that also provides ...
CORR
2010
Springer
13 years 7 months ago
2010
Springer
Virtual human simulation integrated into virtual reality applications is mainly used for virtual representation of the user in virtual environment or for interactions between the ...
KBSE
2005
IEEE
14 years 3 months ago
2005
IEEE
Current formal software engineering methodologies provide a vast array of languages for specifying correctness properties, as well as a wide assortment automated tools that aid in...
AVSS
2003
IEEE
14 years 3 months ago
2003
IEEE
Automated processing and analysis of video recordings of neonatal seizures can generate novel methods for extracting quantitative information that is relevant only to the seizure [...
BMCBI
2010
13 years 9 months ago
2010
Background: Many bioinformatics analyses, ranging from gene clustering to phylogenetics, produce hierarchical trees as their main result. These are used to represent the relations...