2502 search results - page 423 / 501 » Using probabilistic model checking in systems biology |
113
Voted
BMCBI
2007
14 years 12 months ago
2007
Background: Technological advances in high-throughput techniques and efficient data acquisition methods have resulted in a massive amount of life science data. The data is stored ...
INFOCOM
2006
IEEE
15 years 5 months ago
2006
IEEE
Abstract— Energy efficiency is a fundamental issue for outdoor sensor network systems. This paper presents the design and implementation of multi-dimensional power management st...
ICST
2008
IEEE
15 years 6 months ago
2008
IEEE
–Abstract for conference - preliminary Model-Based Testing: Models for Test Cases Jan Tretmans, Embedded Systems Institute, Eindhoven : Systematic testing of software plays an im...
115
click to vote
CEAS
2004
Springer
15 years 5 months ago
2004
Springer
We present an end-to-end system that extracts a user’s social network and its members’ contact information given the user’s email inbox. The system identifies unique people...
133
click to vote
BC
2002
14 years 11 months ago
2002
Taking a global analogy with the structure of perceptual biological systems, we present a system composed of two layers of real-valued sigmoidal neurons. The primary layer receives...