319 search results - page 33 / 64 » Dynamically inferring temporal properties |
TPHOL
2000
IEEE
14 years 2 months ago
2000
IEEE
We verify within the Coq proof assistant that ML typing is sound with respect to the dynamic semantics. We prove this property in the framework of a big step semantics and also in ...
NIPS
2007
13 years 11 months ago
2007
Natural sounds are structured on many time-scales. A typical segment of speech, for example, contains features that span four orders of magnitude: Sentences (ā¼1 s); phonemes (ā...
PPDP
2005
Springer
14 years 3 months ago
2005
Springer
fects are statically generated program abstractions, that can be model checked for veriļ¬cation of assertions in a temporal program logic. In this paper we develop a type and eff...
ICWSM
2010
13 years 11 months ago
2010
The spread of influence among individuals in a social network can be naturally modeled in a probabilistic framework, but it is challenging to reason about differences between vari...
AIHC
2007
Springer
14 years 2 months ago
2007
Springer
Many people believe that emotions and subjective feelings are one and the same and that a goal of human-centered computing is emotion recognition. The first belief is outdated; the...