1546 search results - page 131 / 310 » Context-Aware Computing with Sound |
161
click to vote
ICPR
2008
IEEE
16 years 7 months ago
2008
IEEE
We address the problem of object-based visual attention from a Bayesian standpoint. We contend with the issue of joint segmentation and saliency computation suitable to provide a ...
211
click to vote
IPPS
2003
IEEE
15 years 11 months ago
2003
IEEE
In this paper, we have developed an operational semantic framework for a non-trival subset of Verilog which features event–driven computation, shared variable concurrency. The b...
172
click to vote
TLCA
2001
Springer
15 years 10 months ago
2001
Springer
Using methods drawn from Game Semantics, we build a sound and computationally adequate model of a simple calculus that includes both subtyping and recursive types. Our model solves...
220
click to vote
JSAI
2007
Springer
16 years 15 days ago
2007
Springer
CF-induction is a sound and complete hypothesis finding procedure for full clausal logic which uses the principle of inverse entailment to compute a hypothesis that logically expl...
147
click to vote
CGI
1999
IEEE
15 years 10 months ago
1999
IEEE
This paper describes a technique to obtain a time dilation or contraction of an audio signal. Different Computer Graphics applications can take advantage of this technique. In rea...