Sciweavers

7139 search results - page 816 / 1428
» Language Engineering in Practice
Sort
View
PASTE
2004
ACM
16 years 22 days ago
Evaluating the imprecision of static analysis
This work discusses two non-traditional approaches for evaluating the imprecision of static analysis. The approaches are based on proofs of feasibility or infeasibility that are c...
Atanas Rountev, Scott Kagan, Michael Gibas
MICAI
2009
Springer
15 years 12 months ago
Planning for Conditional Learning Routes
Abstract. This paper builds on a previous work in which an HTN planner is used to obtain learning routes expressed in the standard language IMS-LD and its main contribution is the ...
Lluvia Morales, Luis A. Castillo, Juan Ferná...
211
Voted
ERCIMDL
1999
Springer
111views Education» more  ERCIMDL 1999»
15 years 11 months ago
PIA - A Generic Model and System for Interactive Product and Service Catalogs
Abstract. This text motivates and de nes a generic model for interactive online or o ine product catalogs. Based on a detailed requirements analysis, the data model is de ned usi...
Florian Matthes, Ulrike Steffens
181
Voted
ICFCA
2007
Springer
15 years 11 months ago
Performances of Galois Sub-hierarchy-building Algorithms
Abstract. The Galois Sub-hierarchy (GSH) is a polynomial-size representation of a concept lattice which has been applied to several fields, such as software engineering and linguis...
Gabriela Arévalo, Anne Berry, Marianne Huch...
LREC
2010
192views Education» more  LREC 2010»
15 years 8 months ago
The DARPA Machine Reading Program - Encouraging Linguistic and Reasoning Research with a Series of Reading Tasks
The goal of DARPA's Machine Reading (MR) program is nothing less than making the world's natural language corpora available for formal processing. Most text processing r...
Stephanie Strassel, Dan Adams, Henry Goldberg, Jon...