4690 search results - page 76 / 938 » An operational semantics for Scheme |
185
click to vote
CC
2008
Springer
15 years 8 months ago
2008
Springer
This paper describes the design and implementation of a language for specifying the semantics of an instruction set, along with a run-time system to support the static analysis of ...
176
click to vote
DLOG
1997
15 years 7 months ago
1997
Abstract. In this short paper we describe the DFL hybrid knowledge base, that integrates descriptions with expressive object-oriented rules. The knowledge base manages a database o...
171
click to vote
ICIP
1998
IEEE
16 years 7 months ago
1998
IEEE
The rapid growth of visual data over the last few years has lead to many schemes for retrieving such data. With content-based systems today, there exists a significant gap between...
173
click to vote
TCS
2002
15 years 6 months ago
2002
In this paper we study a process algebra whose semantics is based on true concurrency. In our model, actions are defined in terms of the resources they need to execute, which allo...
181
click to vote
EWSN
2006
Springer
16 years 6 months ago
2006
Springer
We present a framework called Semantic Streams that allows users to pose declarative queries over semantic interpretations of sensor data. For example, instead of querying raw magn...