741 search results - page 125 / 149 » A Local System for Classical Logic |
147
click to vote
MMM
2012
Springer
13 years 11 months ago
2012
Springer
In this paper, we propose an audio-visual approach to video genre categorization. Audio information is extracted at block-level, which has the advantage of capturing local temporal...
130
Voted
JUCS
2007
15 years 3 months ago
2007
: Integration of heterogeneous information in the context of Internet becomes a key activity to enable a more organized and semantically meaningful access to data sources. As Inter...
156
Voted
CASC
2006
Springer
15 years 7 months ago
2006
Springer
We address various aspects of our computer algebra-based computer logic system redlog. There are numerous examples in the literature for successful applications of redlog to practi...
112
click to vote
CHI
2005
ACM
16 years 4 months ago
2005
ACM
Our Translation Assistant applies common sense logic to the problem of translating speech in real time from one language to another. Using speech recognition combined with a softw...
133
Voted
RR
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. The Semantic Web is commonly perceived as a web of partially interlinked machine readable data. This data is inherently distributed and resembles the structure of the web...