4491 search results - page 32 / 899 » Algorithm Engineering |
ENTCS
2008
13 years 8 months ago
2008
Hybrid Chi is a process algebra for the modeling and analysis of hybrid systems. It enables modular specification of hybrid systems by means of a large set of atomic statements an...
JPDC
2010
13 years 6 months ago
2010
—We present the design and implementation of a parallel exact inference algorithm on the Cell Broadband Engine (Cell BE). Exact inference is a key problem in exploring probabilis...
CAD
2002
Springer
13 years 7 months ago
2002
Springer
In this paper we discuss how to reconstruct 3D models from multi-view engineering draws by employing human engineers' approaches. Human's `divide and conquer' inter...
EVOW
2007
Springer
14 years 2 months ago
2007
Springer
The effective reverse engineering of biochemical networks is one of the great challenges of systems biology. The contribution of this paper is two-fold: 1) We introduce a new meth...
ICLP
2001
Springer
14 years 11 days ago
2001
Springer
Tabling is an implementation technique that improves the declarativeness and expressiveness of Prolog by reusing solutions to goals. Quite a few interesting applications of tabling...