3381 search results - page 120 / 677 » Extending Dependencies with Conditions |
152
click to vote
CONSTRAINTS
2010
15 years 6 months ago
2010
Abstract. We had claimed that arc-consistency is preserved in a constraint reformulation relying on functional dependencies (Theorem 2 of [2]). We show that the statement of this t...
151
click to vote
WSDM
2010
ACM
16 years 3 months ago
2010
ACM
Modeling query concepts through term dependencies has been shown to have a significant positive effect on retrieval performance, especially for tasks such as web search, where rel...
158
click to vote
SCAM
2008
IEEE
16 years 23 days ago
2008
IEEE
Bug-checking tools have been used with some success in recent years to find bugs in software. For finding bugs that can cause security vulnerabilities, bug checking tools requir...
154
click to vote
POPL
2010
ACM
16 years 3 months ago
2010
ACM
d by recent research in abstract model checking, we present a new approach to inferring dependent types. Unlike many of the existing approaches, our approach does not rely on prog...
179
click to vote
PLPV
2009
ACM
16 years 3 months ago
2009
ACM
This paper is part of a line of work on using the logical techniques of polarity and focusing to design a dependent programming language, with particular emphasis on programming w...