522 search results - page 21 / 105 » Automating grammar comparison |
111
click to vote
AOSD
2008
ACM
15 years 22 days ago
2008
ACM
We have reimplemented the frontend of the extensible AspectBench Compiler for AspectJ, using the aspect-oriented meta-compiler JastAdd. The original frontend was purely object-ori...
CADE
2008
Springer
15 years 11 months ago
2008
Springer
We propose a procedure for automated implicit inductive theorem proving for equational specifications made of rewrite rules with conditions and constraints. The constraints are int...
CERA
2002
14 years 10 months ago
2002
: Many industries are shifting from mass production to mass customization, which demands quick response to the needs of individual customers with high quality and low costs. The de...
LACL
2005
Springer
15 years 4 months ago
2005
Springer
Locality Conditions (LCs) on (unbounded) dependencies have played a major role in the development of generative syntax ever since the seminal work by Ross [22]. Descriptively, they...
ISBI
2006
IEEE
15 years 11 months ago
2006
IEEE
* A common task in cell and molecular biology is to evaluate the difference or similarity among location patterns under different circumstances. Our previous work has described an...