1546 search results - page 192 / 310 » Context-Aware Computing with Sound |
127
click to vote
VLSID
2002
IEEE
16 years 6 months ago
2002
IEEE
A control part ? data path partition based sequential circuit verification scheme aimed at avoiding state explosion comprises two major modules namely, a data path verifier and a ...
196
click to vote
CADE
2001
Springer
16 years 6 months ago
2001
Springer
Abstract. Skepticism is one of the most important semantic intuitions in artificial intelligence. The semantics formalizing skeptical reasoning in (disjunctive) logic programming i...
156
click to vote
PODS
2003
ACM
16 years 6 months ago
2003
ACM
In this paper we propose a new bottom-up query evaluation method for stratified deductive databases based on the Magic Set approach. As the Magic Sets rewriting may lead to unstra...
157
click to vote
FOSSACS
2010
Springer
16 years 1 months ago
2010
Springer
Λµ-calculus was introduced as a Böhm-complete extension of Parigot's λµ-calculus. Λµ-calculus, contrarily to Parigot's calculus, is a calculus of CBN delimited con...
153
click to vote
HICSS
2009
IEEE
16 years 1 months ago
2009
IEEE
Given the limitation of hearing and understanding speech for many individuals, we plan to supplement the sound of speech and speechreading with an additional informative visual in...