Sciweavers

2393 search results - page 168 / 479
» Adaptive Narrative Abstraction
Sort
View
AMI
2009
Springer
15 years 10 months ago
Bug-Free Sensors: The Automatic Verification of Context-Aware TinyOS Applications
Abstract. We provide the first tool for verifying the logic of contextaware applications written for the mainstream sensor network operating system TinyOS; we focus on detecting pr...
Doina Bucur, Marta Z. Kwiatkowska
DSRT
2009
IEEE
15 years 10 months ago
Effect of Proactive Braking on Traffic Flow and Road Throughput
Abstract--With the emergence of pervasive computing technologies into vehicles, driving has moved from an active task of steering towards an interaction or adaptation task with res...
Andreas Riener, Alois Ferscha
APBC
2007
15 years 8 months ago
A Probabilistic Method to Identify Compensatory Substitutions for Pathogenic Mutations
real or abstract. It provides a widely applicable approach to the prediction of compensatory substitutions for CPDs, avoiding any reliance on rigid non-probabilistic criteria or st...
B. C. Easton, A. V. Isaev, Gavin A. Huttley, Peter...
ESANN
2007
15 years 8 months ago
Clustering a medieval social network by SOM using a kernel based distance measure
Abstract. In order to explore the social organization of a medieval peasant community before the Hundred Years’ War, we propose the use of an adaptation of the well-known Kohonen...
Nathalie Villa, Romain Boulet
MASCOTS
2008
15 years 8 months ago
Power Optimization in Fault-Tolerant MANETs
Abstract--In this paper, we investigate the problem of optimizing the lifetime of a mobile ad hoc network at a given degree k of connectivity by minimizing power consumption. Our p...
Oliviero Riganelli, Radu Grosu, Scott A. Smolka