699 search results - page 74 / 140 » A Computational Model for Functional Logic Deductive Databas... |
ICTCS
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. We consider a call-by-value language, with higher-order functions, records, references to values of arbitrary type, and subtyping. We adapt an intrinsic denotational mode...
VLSID
2002
IEEE
14 years 8 months ago
2002
IEEE
This paper presents a new method to compute the probability distribution of the delay of a combinational circuit and uses it obtain an estimate of the yield of the process that ma...
ICCV
2007
IEEE
14 years 9 months ago
2007
IEEE
Model-based image interpretation extracts high-level information from images using a priori knowledge about the object of interest. The computational challenge in model fitting is...
BIB
2007
13 years 7 months ago
2007
Protein function is a dynamic property closely related to the conformational mechanisms of protein structure in its physiological environment. To understand and control the functi...
ICHIM
2001
13 years 9 months ago
2001
The issues of digital preservation of shapes and internal structures of historical and cultural objects are discussed. An overview of existing approaches to computer modeling of s...