369 search results - page 10 / 74 » Symbolic Semantics Revisited |
FMSD
2007
13 years 7 months ago
2007
Symbolic techniques based on Binary Decision Diagrams (BDDs) are widely employed for reasoning about temporal properties of hardware circuits and synchronous controllers. However, ...
APN
2008
Springer
13 years 9 months ago
2008
Springer
In this paper, we address the class of bounded Petri nets with stopwatches (SwPNs), which is an extension of T-time Petri nets (TPNs) where time is associated with transitions. Con...
SEMCO
2007
IEEE
14 years 2 months ago
2007
IEEE
The work presented in this paper aims to combine Latent Semantic Analysis methodology, common sense and traditional knowledge representation in order to improve the dialogue capab...
ECMDAFA
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. In this paper we introduce an aspect language that can define crosscutting e
SAC
2008
ACM
13 years 7 months ago
2008
ACM
