522 search results - page 84 / 105 » Automating grammar comparison |
FASE
2005
Springer
15 years 4 months ago
2005
Springer
Abstract. Coalgebra has in recent years been recognized as the framework of choice for the treatment of reactive systems at an appropriate level of generality. Proofs about the rea...
109
click to vote
PKDD
2005
Springer
15 years 4 months ago
2005
Springer
Abstract. Problem solving with experiences that are recorded in text form requires a mapping from text to structured cases, so that case comparison can provide informed feedback fo...
ECAI
2004
Springer
15 years 4 months ago
2004
Springer
Finite-domain constraint programming can be used to solve a wide range of problems by first modelling the problem as a set of constraints that characterise the problem’s solutio...
112
click to vote
ISMIR
2004
Springer
15 years 4 months ago
2004
Springer
A number of metadata standards have been published in recent years due to the increasing availability of multimedia content and the resulting issue of sorting and retrieving this ...
ISSRE
2003
IEEE
15 years 4 months ago
2003
IEEE
Symmetries often appear as properties of many artifical settings. In Program Testing, they can be viewed as properties of programs and can be given by the tester to check the cor...