553 search results - page 50 / 111 » Verified, Executable Parsing |
SARA
2009
Springer
14 years 1 months ago
2009
Springer
An important challenge in constraint programming is to rewrite constraint models into executable programs calculating the solutions. This phase of constraint processing may requir...
AI
1998
Springer
14 years 29 days ago
1998
Springer
The evaluation of a large implemented natural language processing system involves more than its application to a common performance task. Such tasks have been used in the message u...
FASE
2006
Springer
14 years 11 days ago
2006
Springer
Abstract. As XML diffusion keeps increasing, it is today common practice for most developers to deal with XML parsing and transformation. XML is used as format to e.g. render data,...
DAWAK
2010
Springer
13 years 9 months ago
2010
Springer
Abstract. Although many proposals exist for extending Geographic Information Systems (GIS) with OLAP and data warehousing capabilities (a topic denoted SOLAP), only recently the im...
ASE
2010
13 years 8 months ago
2010
Recent developments in runtime verification and monitoring show that parametric regular and temporal logic specifications can be efficiently monitored against large programs. Howev...