762 search results - page 106 / 153 » Intercode Regular Languages |
91
Voted
ICASSP
2008
IEEE
15 years 8 months ago
2008
IEEE
Newborns must learn to structure incoming acoustic information into segments, words, phrases, etc., before they can start to learn language. This process is thought to rely on mod...
110
click to vote
IPPS
2007
IEEE
15 years 8 months ago
2007
IEEE
OpenMP has emerged as an important model and language extension for shared-memory parallel programming. On shared-memory platforms, OpenMP offers an intuitive, incremental approac...
139
click to vote
FOSSACS
2007
Springer
15 years 8 months ago
2007
Springer
Higher-order pushdown systems (PDSs) generalise pushdown systems through the use of higher-order stacks, that is, a nested “stack of stacks” structure. These systems may be us...
142
click to vote
ASSETS
2006
ACM
15 years 8 months ago
2006
ACM
To browse the Web, blind people have to use screen readers, which process pages sequentially, making browsing timeconsuming. We present a prototype system, CSurf, which provides a...
126
Voted
KBSE
2005
IEEE
15 years 8 months ago
2005
IEEE
We present a new model checking algorithm for verifying computation tree logic (CTL) properties. Our technique is based on using language inference to learn the fixpoints necessar...