Sciweavers

4674 search results - page 751 / 935
» cases 2008
Sort
View
AUTONOMICS
2008
ACM
15 years 8 months ago
Verification and semantic parallelization of goal-driven autonomous software
Future space missions such as the Mars Science Laboratory demand the engineering of some of the most complex manrated autonomous software systems. According to some recent estimat...
Damian Dechev, Nicolas Rouquette, Peter Pirkelbaue...
BIOID
2008
119views Biometrics» more  BIOID 2008»
15 years 8 months ago
Some Unusual Experiments with PCA-Based Palmprint and Face Recognition
Abstract. In this paper we describe a number of experiments relating to PCAbased palmprint and face recognition. The experiments were designed to determine the influence of differe...
Ivan Krevatin, Slobodan Ribaric
BIOSURVEILLANCE
2008
Springer
15 years 8 months ago
Integrating a Commuting Model with the Bayesian Aerosol Release Detector
The Bayesian Aerosol Release Detector (BARD) is a biosurveillance system for detecting and characterizing disease outbreaks caused by aerosol releases of anthrax. A major challenge...
Aurel Cami, Garrick L. Wallstrom, William R. Hogan
BIRD
2008
Springer
15 years 8 months ago
Translational Control by RNA-RNA Interaction: Improved Computation of RNA-RNA Binding Thermodynamics
The thermodynamics of RNA-RNA interaction consists of two components: the energy necessary to make a potential binding region accessible, i.e., unpaired, and the energy gained from...
Ulrike Mückstein, Hakim Tafer, Stephan H. F. ...
BIRTHDAY
2008
Springer
15 years 8 months ago
Models of Computation: A Tribute to Ugo Montanari's Vision
e [43] is the first paper on final, observational semantics in abstract data types, and the main reference for one of the MoC contributed papers in this volume. It presented severa...
Roberto Bruni, Vladimiro Sassone