3773 search results - page 379 / 755 » Logical Reasoning |
174
click to vote
PODS
2010
ACM
15 years 7 months ago
2010
ACM
We study functional and multivalued dependencies over SQL tables with NOT NULL constraints. Under a no-information interpretation of null values we develop tools for reasoning. We...
191
click to vote
JUCS
2006
15 years 6 months ago
2006
Abstract: We present a novel approach to the verification of functional-logic programs. For our verification purposes, equational reasoning is not valid due to the presence of non-...
169
click to vote
RR
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. The Semantic Web is commonly perceived as a web of partially interlinked machine readable data. This data is inherently distributed and resembles the structure of the web...
165
click to vote
ISQED
2009
IEEE
16 years 1 months ago
2009
IEEE
Modern CMOS manufacturing processes have significant variability, which necessitates guard banding to achieve reasonable yield. It is our thesis that variability should be addres...
183
click to vote
APSEC
2008
IEEE
16 years 1 months ago
2008
IEEE
Memory usage analysis is an important problem for resource-constrained mobile devices, especially under mission- or safety-critical circumstances. Program codes running on or bein...