224 search results - page 30 / 45 » Three New Algorithms for Regular Language Enumeration |
ICFP
2004
ACM
15 years 9 months ago
2004
ACM
We study a type system equipped with universal types and equirecursive types, which we refer to as F?. We show that type equality may be decided in time O(n log n), an improvement...
SIGCSE
2004
ACM
15 years 2 months ago
2004
ACM
We describe the instructional software JFLAP 4.0 and how it can be used to provide a hands-on formal languages and automata theory course. JFLAP 4.0 doubles the number of chapters...
DATE
2006
IEEE
15 years 3 months ago
2006
IEEE
Conventional high-level synthesis uses the worst case delay to relate all inputs to all outputs of an operation. This is a very conservative approximation of reality, especially i...
SDM
2007
SIAM
14 years 11 months ago
2007
SIAM
The problem of efficiently finding images that are similar to a target image has attracted much attention in the image processing community and is rightly considered an informatio...
AAAI
2006
14 years 11 months ago
2006
This paper is concerned with the problem of structured data extraction from Web pages. The objective of the research is to automatically segment data records in a page, extract da...