411 search results - page 80 / 83 » Algebraic Imperative Specifications |
AI
2008
Springer
14 years 11 months ago
2008
Springer
Representing and reasoning about time dependent information is a key research issue in many areas of computer science and artificial intelligence. One of the best known and widely...
114
click to vote
BMCBI
2008
14 years 11 months ago
2008
Background: Quasi-steady state approximation (QSSA) based on time-scale analysis is known to be an effective method for simplifying metabolic reaction system, but the conventional...
BMCBI
2007
14 years 11 months ago
2007
Background: Transmission electron tomography is an increasingly common three-dimensional electron microscopy approach that can provide new insights into the structure of subcellul...
CORR
2010
Springer
14 years 11 months ago
2010
Springer
Abstract--The question of polynomial learnability of probability distributions, particularly Gaussian mixture distributions, has recently received significant attention in theoreti...
CORR
2008
Springer
14 years 11 months ago
2008
Springer
Many challenging tasks in sensor networks, including sensor calibration, ranking of nodes, monitoring, event region detection, collaborative filtering, collaborative signal proces...