6829 search results - page 1107 / 1366 » Quantitative Generalizations of Languages |
133
click to vote
IWMM
2010
Springer
15 years 9 months ago
2010
Springer
This paper argues that economic theory can improve our understanding of memory management. We introduce the allocation curve, as an analogue of the demand curve from microeconomic...
136
click to vote
KR
2010
Springer
15 years 9 months ago
2010
Springer
Levesque introduced the notion of only-knowing to precisely capture the beliefs of a knowledge base. He also showed how only-knowing can be used to formalize non-monotonic behavio...
171
click to vote
DAC
2009
ACM
15 years 9 months ago
2009
ACM
Dynamic binary translation (DBT) can be used to address important issues in embedded systems. DBT systems store translated code in a software-managed code cache. Unlike general-pu...
146
click to vote
DAC
2009
ACM
15 years 9 months ago
2009
ACM
Stream processing represents an important class of applications that spans telecommunications, multimedia and the Internet. The implementation of streaming programs in FPGAs has a...
164
click to vote
INTERACTION
2009
ACM
15 years 9 months ago
2009
ACM
In this paper, we present the core concept and the benefits of an approach called RoboEarth which will be highly beneficial for future robotic applications in science and industry...