2920 search results - page 93 / 584 » Finite information logic |
106
click to vote
CONSTRAINTS
2007
15 years 21 days ago
2007
In this paper we present Cardinal, a general finite sets constraint solver just made publicly available in ECLiPSe Prolog, suitable for combinatorial problem solving by exploiting ...
103
Voted
WIA
2001
Springer
15 years 5 months ago
2001
Springer
This article describes a finite-state cascade for the extraction of person names in texts in French. We extract these proper names in order to categorize and to cluster texts with...
105
click to vote
ASE
2010
15 years 25 days 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...
125
Voted
LPAR
2001
Springer
15 years 5 months ago
2001
Springer
Several logic-based languages, such as Prolog II and its successors, SICStus Prolog and Oz, offer a computation domain including rational trees. Infinite rational trees allow fo...
89
Voted
AAAI
2008
15 years 3 months ago
2008
"Human computation" is a recent approach that extracts information from large numbers of Web users. reCAPTCHA is a human computation project that improves the process of...