3468 search results - page 351 / 694 » An open logical framework |
189
click to vote
CVDB
2004
ACM
16 years 6 days ago
2004
ACM
Capture, processing, and assimilation of digital media-based information such as video, images, or audio requires a unified framework within which signal processing techniques and...
162
click to vote
ADAEUROPE
2001
Springer
15 years 11 months ago
2001
Springer
This paper describes the transaction support framework OPTIMA and its implementation for Ada 95. First, a transaction model that fits concurrent programming languages is presented...
204
click to vote
SDMW
2010
Springer
15 years 5 months ago
2010
Springer
In an outsourced database framework, clients place data management with specialized service providers. Of essential concern in such frameworks is data privacy. Potential clients ar...
291
click to vote
POPL
2007
ACM
16 years 7 months ago
2007
ACM
This work presents a framework for fusing flow analysis and theorem proving called logic-flow analysis (LFA). The framework itthe reduced product of two abstract interpretations: ...
198
click to vote
FOCI
2007
IEEE
16 years 1 months ago
2007
IEEE
— The Constraint Satisfaction Problem (CSP) is one of the most prominent problems in artificial intelligence, logic, theoretical computer science, engineering and many other are...