668 search results - page 55 / 134 » Implementing and Evaluating Automatic Checkpointing |
RTA
2009
Springer
14 years 5 months ago
2009
Springer
Most techniques to automatically disprove termination of term rewrite systems search for a loop. Whereas a loop implies nontermination for full rewriting, this is not necessarily t...
ANLP
2000
14 years 7 days ago
2000
Information Extraction (IE) systems are commonly based on pattern matching. Adapting an IE system to a new scenario entails the construction of a new pattern base--a timeconsuming...
JUCS
2006
13 years 10 months ago
2006
: This paper defines algorithms to automatically detect five types of bad smells that occur in aspect-oriented systems, more specifically those written using the AspectJ language. ...
ACL
2012
12 years 1 months ago
2012
We present CSNIPER (Corpus Sniper), a tool that implements (i) a web-based multiuser scenario for identifying and annotating non-canonical grammatical constructions in large corpo...
VLDB
2005
ACM
14 years 11 months ago
2005
ACM
Recommendations are crucial for the success of large websites. While there are many ways to determine recommendations, the relative quality of these recommenders depends on many fa...