989 search results - page 83 / 198 » Version spaces and the consistency problem |
130
click to vote
TVCG
2010
15 years 4 months ago
2010
—We present a method designed to address some limitations of typical route map displays of driving directions. The main goal of our system is to generate a printable version of a...
145
click to vote
ALT
2008
Springer
16 years 2 months ago
2008
Springer
This paper extends previous studies on learnability in non-acceptable numberings by considering the question: for which criteria which numberings are optimal, that is, for which nu...
168
click to vote
SOFSEM
2010
Springer
16 years 2 months ago
2010
Springer
We present a new technique to prove termination of Term Rewriting Systems, with full automation. A crucial task in this context is to find suitable well-founded orderings. A popul...
148
click to vote
AUSDM
2007
Springer
16 years 13 hour ago
2007
Springer
Most current ontology management systems concentrate on detecting usage-driven changes and representing changes formally in order to maintain the consistency. In this paper, we pr...
162
click to vote
SIGSOFT
1998
ACM
15 years 10 months ago
1998
ACM
This paper reports on an empirical evaluation of the fault-detecting ability of two white-box software testing techniques: decision coverage (branch testing) and the all-uses data...