982 search results - page 129 / 197 » Reduction Relations for Agent Models |
103
Voted
ATAL
2007
Springer
15 years 7 months ago
2007
Springer
We present an axiomatisation for an extension of a temporal epistemic logic with an epistemic “reset” operator defined on the intersection between epistemic and temporal rela...
108
click to vote
LCPC
2007
Springer
15 years 7 months ago
2007
Springer
Binary Decision Diagrams (BDDs) have recently become widely accepted as a space-efficient method of representing relations in points-to analyses. When BDDs are used to represent re...
83
Voted
SMC
2010
IEEE
14 years 11 months ago
2010
IEEE
—Distance aware tag clouds add visualization of relations between terms to standard tag clouds. In addition to term importance (which is usually depicted through font size) the p...
87
Voted
ICASSP
2008
IEEE
15 years 7 months ago
2008
IEEE
Recent studies in speaker recognition have shown that scorelevel combination of subsystems can yield significant performance gains over individual subsystems. We explore the use ...
ACSC
2006
IEEE
15 years 6 months ago
2006
IEEE
This paper describes a novel noise-robust automatic speech recognition (ASR) front-end that employs a combination of Mel-filterbank output compensation and cumulative distribution...