2468 search results - page 313 / 494 » On Model Checking Techniques for Randomized Distributed Syst... |
150
click to vote
IUI
2011
ACM
14 years 7 months ago
2011
ACM
We describe a new sketch recognition framework for chemical structure drawings that combines multiple levels of visual features using a jointly trained conditional random field. ...
155
click to vote
BMCBI
2007
15 years 4 months ago
2007
Background: The simulation of metabolic networks in quantitative systems biology requires the assignment of enzymatic kinetic parameters. Experimentally determined values are ofte...
143
click to vote
EMSOFT
2004
Springer
15 years 9 months ago
2004
Springer
Aspect oriented programming (AOP), when used well, has many advantages. Aspects are however, programming-time constructs, i.e., they relate to source code. Previously, we develope...
154
click to vote
AGENTS
2001
Springer
15 years 8 months ago
2001
Springer
Multi-Agent Systems are a promising way of dealing with large complex problems. However, it is not yet clear just how much complexity or pre-existing structure individual agents m...
134
click to vote
SAC
2006
ACM
15 years 10 months ago
2006
ACM
In this paper, we present an efficient procedure for building a piecewise linear function approximation of the speed function of a processor with hierarchical memory structure. Th...