2944 search results - page 379 / 589 » On Well Quasi-orders on Languages |
160
click to vote
ASPDAC
2007
ACM
15 years 10 months ago
2007
ACM
In this paper, we present a method for generating checker circuits from sequential-extended regular expressions (SEREs). Such sequences form the core of increasingly-used Assertion...
143
click to vote
EICS
2009
ACM
15 years 10 months ago
2009
ACM
Distributed interactive systems often rely on platform information, used for example when migrating a user interface to a small-screen device, or when opportunistically recruiting...
194
click to vote
AIMSA
2006
Springer
15 years 10 months ago
2006
Springer
Although speech and language processing techniques achieved a relative maturity during the last decade, designing a spoken dialogue system is still a tailoring task because of the ...
159
click to vote
AISC
2006
Springer
15 years 10 months ago
2006
Springer
Solving analytic systems using inversion can be implemented in a variety of ways. One method is to use Lagrange inversion and variations. Here we present a different approach, base...
141
click to vote
CCGRID
2004
IEEE
15 years 10 months ago
2004
IEEE
Management of grid resource information is a challenging and important area considering the potential size of the grid and wide range of resources that should be represented. Thou...