1418 search results - page 236 / 284 » The Dynamic Complexity of Formal Languages |
187
click to vote
PLDI
2000
ACM
15 years 9 months ago
2000
ACM
Increasing focus on multimedia applications has prompted the addition of multimedia extensions to most existing general purpose microprocessors. This added functionality comes pri...
152
click to vote
ICCL
1998
IEEE
15 years 9 months ago
1998
IEEE
On-line partial evaluators are hardly ever selfapplicable, because the complexity of deciding whether to residualize terms causes combinatorial explosion when self-application is ...
181
Voted
KI
1998
Springer
15 years 9 months ago
1998
Springer
The control of mobile robots acting autonomously in the real world is one of the long-term goals of the field of artificial intelligence. So far the field lacks methods bridging th...
139
click to vote
TIME
1994
IEEE
15 years 9 months ago
1994
IEEE
We describe a discrete time probabilitylogic for use as the representation language of a temporal knowledge base. In addition to the usual expressive power of a discrete temporal ...
130
Voted
ASPLOS
2008
ACM
15 years 7 months ago
2008
ACM
Concurrency control is one of the main sources of error and complexity in shared memory parallel programming. While there are several techniques to handle concurrency control such...