1380 search results - page 266 / 276 » Reasoning about Input-Output Modeling of Dynamical Systems |
INFOCOM
2007
IEEE
14 years 3 months ago
2007
IEEE
—Existing methods of measuring lifetimes in P2P systems usually rely on the so-called Create-Based Method (CBM) [16], which divides a given observation window into two halves and...
DBPL
1993
Springer
14 years 26 days ago
1993
Springer
This paper presents database applications of the recently proposed Transaction Logic—an extension of classical predicate logic that accounts in a clean and declarative fashion f...
BMCBI
2006
13 years 8 months ago
2006
Background: Particle Swarm Optimization (PSO) is an established method for parameter optimization. It represents a population-based adaptive optimization technique that is influen...
BMCBI
2010
13 years 9 months ago
2010
Background: Biochemical networks play an essential role in systems biology. Rapidly growing network data and e research activities call for convenient visualization tools to aid i...
ISI
2006
Springer
13 years 8 months ago
2006
Springer
An intelligence analyst often needs to keep track of more facts than can be held in human memory. As a result, analysts use a notebook or evidence file to record facts learned so f...