1356 search results - page 230 / 272 » A variable-free dynamic semantics |
149
Voted
IUI
2005
ACM
15 years 9 months ago
2005
ACM
Every program tells a story. Programming, then, is the art of constructing a story about the objects in the program and what they do in various situations. So-called programming l...
147
Voted
PASTE
2005
ACM
15 years 9 months ago
2005
ACM
Program instrumentation, inserted either before or during execution, is rapidly becoming a necessary component of many systems. Instrumentation is commonly used to collect informa...
108
Voted
AMR
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. In this paper an effective context-based approach for interactive similarity queries is presented. By exploiting the notion of image “context”, it is possible to asso...
126
Voted
APN
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. We study probabilistic safe Petri nets, a probabilistic extension of safe Petri nets interpreted under the true-concurrent semantics. In particular, the likelihood of pro...
145
Voted
EUROCAST
2005
Springer
15 years 9 months ago
2005
Springer
The incorporation of temporal semantic into the traditional data mining techniques has caused the creation of a new area called Temporal Data Mining. This incorporation is especial...