762 search results - page 106 / 153 » Intercode Regular Languages |
138
click to vote
ICASSP
2008
IEEE
16 years 27 days 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...
161
click to vote
IPPS
2007
IEEE
16 years 23 days 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...
186
Voted
FOSSACS
2007
Springer
16 years 18 days 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...
194
click to vote
ASSETS
2006
ACM
16 years 13 days 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...
180
click to vote
KBSE
2005
IEEE
16 years 1 days 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...