1525 search results - page 140 / 305 » Matching with Regular Constraints |
135
click to vote
NLPRS
2001
Springer
15 years 8 months ago
2001
Springer
We introduce a new incremental search method called Migemo for languages with many character faces. Migemo performs the incremental search by dynamically expanding the input patte...
134
Voted
CONCUR
2010
Springer
15 years 5 months ago
2010
Springer
A one-counter automaton is a pushdown automaton over a singleton stack alphabet. We prove that the bisimilarity of processes generated by nondeterministic one-counter automata (wit...
125
click to vote
ICIP
2009
IEEE
15 years 1 months ago
2009
IEEE
Super-resolution image zooming is possible when the image has some geometric regularity. We introduce a general class of non-linear inverse estimators, which combines linear estima...
170
click to vote
LICS
2012
IEEE
13 years 6 months ago
2012
IEEE
—We show how to reliably compute fast-growing functions with timed-arc Petri nets and data nets. This construction provides ordinal-recursive lower bounds on the complexity of th...
122
Voted
IJES
2008
15 years 4 months ago
2008
: On-chipimplementationofmultiprocessorsystemsneedstoplanarisetheinterconnect networks onto the silicon floorplan. Compared with traditional ASIC/SoC architectures, Multiprocessor ...