3865 search results - page 51 / 773 » From Bidirectionality to Alternation |
113
click to vote
CP
2003
Springer
15 years 9 months ago
2003
Springer
Arc consistency plays a central role in solving Constraint Satisfaction Problems. This is the reason why many algorithms have been proposed to establish it. Recently, an algorithm ...
114
click to vote
PODS
1989
ACM
15 years 8 months ago
1989
ACM
The alternating xpoint of a logic program with negation is de ned constructively. The underlying idea is monotonically to build up a set of negative conclusions until the least xp...
135
click to vote
KBSE
2009
IEEE
15 years 10 months ago
2009
IEEE
—To improve software quality, static or dynamic verification tools accept programming rules as input and detect their violations in software as defects. As these programming rul...
126
click to vote
BMCBI
2007
15 years 4 months ago
2007
Background: The study of the functional role of alternative splice isoforms of a gene is a very active area of research in biology. The difficulty of the experimental approach (in...
142
click to vote
INFOCOM
2006
IEEE
15 years 10 months ago
2006
IEEE
Abstract— When multiple paths are available between communicating hosts, application quality can be improved by switching among them to always use the best one. The key to such a...