3844 search results - page 74 / 769 » Modular interpreted systems |
107
click to vote
CADE
2010
Springer
14 years 11 months ago
2010
Springer
Polynomial interpretations are a useful technique for proving termination of term rewrite systems. In an automated setting, termination tools are concerned with parametric polynomi...
WWW
2010
ACM
15 years 6 months ago
2010
ACM
We describe improvements to the use of semantic lexicons by a state-of-the-art query interpretation system powering a major search engine. We successfully compute concept label im...
UIST
2009
ACM
15 years 6 months ago
2009
ACM
Asynchronous collaborators often use freeform ink annotations to point to visually salient perceptual features of line charts such as peaks or humps, valleys, rising slopes and de...
RSEISP
2007
Springer
15 years 6 months ago
2007
Springer
The main objective of this paper is to provide a granular computing based interpretation of rules representing two levels of knowledge. This is done by adopting and adapting the de...
SIGCSE
2005
ACM
15 years 5 months ago
2005
ACM
Many instructors use program runtimes to illustrate and reinforce algorithm complexity concepts. Hardware, operating system and compilers have historically influenced runtime resu...