394 search results - page 22 / 79 » An Abstract Domain of Uninterpreted Functions |
ASPDAC
2004
ACM
14 years 2 months ago
2004
ACM
Abstract — This paper presents a functional-space decomposition approach to enhance the capability of symbolic simulation. In our symbolic simulator, the control part and datapat...
AIIA
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. Adaptation is one of the most problematic steps in the design and development of Case Based Reasoning (CBR) systems, as it may require considerable domain knowledge and i...
ER
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. For systems that share enough structural and functional commonalities, reuse in schema development and data manipulation can be achieved by defining problem-oriented lang...
ICDE
2008
IEEE
14 years 10 months ago
2008
IEEE
Abstract- IMPrECISE is an XQuery module that adds probabilistic XML functionality to an existing XML DBMS, in our case MonetDBlXQuery. We demonstrate probabilistic XML and data int...
CIE
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. This paper extends the logical approach to computable analysis via Σ–definability to higher type continuous data such as functionals and operators. We employ definab...