280 search results - page 14 / 56 » Termination Tools in Ordered Completion |
EDBT
2006
ACM
14 years 8 months ago
2006
ACM
In modern databases, complex objects like multimedia data, proteins or text objects can be modeled in a variety of representations and can be decomposed into multiple instances of ...
LFCS
2009
Springer
14 years 3 months ago
2009
Springer
This work defines an extension CERES2 of the first-order cut-elimination method CERES to the subclass of sequent calculus proofs in second-order logic using quantifier-free comp...
VTC
2010
IEEE
13 years 6 months ago
2010
IEEE
—The performance of 802.11-based multi-channel wireless mesh networks is affected by the interference due to neighboring nodes operating on same or adjacent channels. In this pap...
ASSETS
2000
ACM
14 years 24 days ago
2000
ACM
This paper reports on a tool for assisting students with visual disabilities in learning how to program. The tool is meant to be used by computer science majors learning the progr...
ICALT
2008
IEEE
14 years 2 months ago
2008
IEEE
Digital games are becoming a rising trend in eLearning due to their potential educational benefits. However, their application is hindered by issues such as their high production ...