1536 search results - page 98 / 308 » On the Relation between Interpreted Systems and Kripke Model... |
ICEIS
2006
IEEE
15 years 3 months ago
2006
IEEE
The consideration of Product information or Knowledge management, product traceability or genealogy, and product life cycle management implies new strategies and approaches to mana...
INTERSPEECH
2010
14 years 4 months ago
2010
The perceived quality of a synthetic visual speech signal greatly depends on the smoothness of the presented visual articulators. This paper explains how concatenative visual spee...
LICS
2000
IEEE
15 years 2 months ago
2000
IEEE
We study syntax-free models for name-passing processes. For interleaving semantics, we identify the indexing structure required of an early labelled transition system to support t...
106
click to vote
FM
1997
Springer
15 years 2 months ago
1997
Springer
: The widely accepted possible benefits of formal methods on the one hand and their minor use compared to informal or graphical description techniques on the other hand have repeat...
DLOG
1996
14 years 11 months ago
1996
fe. Althoughthose legal concepts are abstract in the sense that there always exist possibilities to interpret them in various ways, lawyers seem to understand themas real things at...