1757 search results - page 44 / 352 » Integrating and Extending JCSP |
ISCAS
2003
IEEE
14 years 2 months ago
2003
IEEE
This paper presents an Integrated Framework of Design Optimization and Space Minimization (IDOM) for generating the minimum number of functional units with schedule length and mem...
ADBIS
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. In concurrent database systems, correctness of update transactions refers to the equivalent effects of the execution schedule and some serial schedule over the same set o...
DATESO
2008
13 years 11 months ago
2008
Presently, there is no specialized language for complex integrity constraints description in XML documents. In this paper we present a language that combines first-order logic toge...
VMV
2008
13 years 11 months ago
2008
We present in this paper a novel object tracking system based on 3D contour models. For this purpose, we integrate two complimentary likelihoods, defined on local color statistics...
DIWEB
2001
13 years 11 months ago
2001
XPathLog is a logic-based language for manipulating and integrating XML data. It extends the XPath query language with Prolog-style variables. Due to the close relationship with X...