2944 search results - page 268 / 589 » On Well Quasi-orders on Languages |
170
click to vote
ISSTA
2009
ACM
16 years 1 months ago
2009
ACM
Program differencing is a common means of software debugging. Although many differencing algorithms have been proposed for procedural and object-oriented languages like C and Ja...
153
click to vote
CLEF
2007
Springer
16 years 24 days ago
2007
Springer
Our algorithm, ParaMor, fared well in Morpho Challenge 2007 (Kurimo et al., 2007), a peer operated competition pitting against one another algorithms designed to discover the morp...
174
click to vote
TABLEAUX
2005
Springer
16 years 3 days ago
2005
Springer
This paper describes the implementation of a tableau-based reasoning component which is capable of providing quasi natural language explanations for subsumptions within ALEHFR+ TBo...
192
click to vote
PLDI
2004
ACM
16 years 1 days ago
2004
ACM
e Synchronization Abstractions “Well, it just so happens that your friend here is only mostly dead. There’s a big difference between mostly dead and all dead.” – Miracle Ma...
159
click to vote
SEMWEB
2001
Springer
15 years 11 months ago
2001
Springer
Building repositories for e-learning is an iterative process and course content and course structure are always changing. We realized the necessity to separate content from structu...