699 search results - page 35 / 140 » A Computational Model for Functional Logic Deductive Databas... |
106
Voted
CAD
2004
Springer
15 years 2 months ago
2004
Springer
A concurrent engineering-oriented design database representation model (CE-DDRM) is introduced in this research for supporting various life-cycle aspects in concurrent design. In ...
157
Voted
FSTTCS
2005
Springer
15 years 8 months ago
2005
Springer
We give new proofs of soundness (all representable functions on base types lies in certain complexity classes) for Light Affine Logic, Elementary Affine Logic, LFPL and Soft Af...
155
Voted
POPL
2010
ACM
16 years 4 days ago
2010
ACM
We report on our experience implementing a lightweight, fully verified relational database management system (RDBMS). The functional specification of RDBMS behavior, RDBMS impleme...
128
Voted
BIRTHDAY
2000
Springer
15 years 7 months ago
2000
Springer
Bistructures are a generalisation of event structures which allow a representation of spaces of functions at higher types in an orderextensional setting. The partial order of caus...
105
Voted
DAGM
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. Model-based image interpretation extracts high-level information from images using a priori knowledge about the object of interest. The computational challenge is to dete...