10048 search results - page 159 / 2010 » The Structure and Performance of Interpreters |
140
Voted
ISER
2004
Springer
15 years 10 months ago
2004
Springer
As robots enter the human environment and come in contact with inexperienced users, they need to be able to interact with users in a multi-modal fashion—keyboard and mouse are n...
163
click to vote
ECOOP
2001
Springer
15 years 9 months ago
2001
Springer
Abstract. The application field of static analysis techniques for objectoriented programming is getting broader, ranging from compiler optimizations to security issues. This leads...
177
click to vote
PODC
1990
ACM
15 years 8 months ago
1990
ACM
Abstract. We introduce a novel extension of propositional modal logic that is interpreted over Kripke structures in which a value is associated with every possible world. These val...
132
click to vote
TPHOL
2000
IEEE
15 years 8 months ago
2000
IEEE
We modify the reflection method to enable it to deal with partial functions like division. The idea behind reflection is to program a tactic for a theorem prover not in the impleme...
141
click to vote
ECCB
2008
IEEE
15 years 6 months ago
2008
IEEE
Abstract. Mass spectrometry is among the most widely used technologies in proteomics and metabolomics. For metabolites, de novo interpretation of spectra is even more important tha...