16666 search results - page 2508 / 3334 » Descriptive and Computational Complexity |
187
click to vote
GG
2004
Springer
16 years 1 months ago
2004
Springer
Biochemical pathways, such as metabolic, regulatory, and signal transduction pathways, constitute complex networks of functional and physical interactions between molecular species...
193
click to vote
HIPC
2004
Springer
16 years 1 months ago
2004
Springer
This paper summarizes the design and implementation of a parallel algorithm for state assignment of large Finite State Machines (FSMs). High performance CAD tools are necessary to...
191
click to vote
ICALP
2004
Springer
16 years 1 months ago
2004
Springer
Abstract. We extend the basic system relations of trace inclusion, trace equivalence, simulation, and bisimulation to a quantitative setting in which propositions are interpreted n...
210
click to vote
ICCSA
2004
Springer
16 years 1 months ago
2004
Springer
Abstract. Network-server architecture has become a de-facto standard for Distributed Virtual Environment (DVE) systems. In these systems, a large set of remote users share a 3D vir...
213
click to vote
ICIAR
2004
Springer
16 years 1 months ago
2004
Springer
We present a simple calibration method for computing the extrinsic parameters (pose) and intrinsic parameters (focal length and principal point) of a camera by imaging a pattern of...