2488 search results - page 387 / 498 » An improvement in formal verification |
143
click to vote
CSCLP
2008
Springer
15 years 3 months ago
2008
Springer
Abstract. Constraint solving problems (CSPs) represent a formalization of an important class of problems in computer science. We propose here a solving methodology based on the nam...
111
click to vote
ACL
2008
15 years 3 months ago
2008
In lexicalized grammatical formalisms, it is possible to separate lexical category assignment from the combinatory processes that make use of such categories, such as parsing and ...
BCSHCI
2008
15 years 3 months ago
2008
Effective information retrieval is important not only for its own sake but also for improving our understanding and allowing us to evolve our information into knowledge and wisdom...
EDM
2010
15 years 3 months ago
2010
While students' skill set profiles can be estimated with formal cognitive diagnosis models [8], their computational complexity makes simpler proxy skill estimates attractive [...
COLING
2008
15 years 3 months ago
2008
This paper presents a discriminative alignment model for extracting abbreviations and their full forms appearing in actual text. The task of abbreviation recognition is formalized...