1999 search results - page 222 / 400 » Finding Reductions Automatically |
121
click to vote
ISBI
2006
IEEE
16 years 2 months ago
2006
IEEE
Vocabularies to describe research findings are needed to effectively use scientific databases. As understanding of data evolves, scientists need tools for extending the vocabulari...
CHI
2008
ACM
16 years 2 months ago
2008
ACM
Little is known about the impact of politeness in online communities. This project combines deductive and inductive approaches to automatically model linguistic politeness in onli...
123
click to vote
CADE
2003
Springer
16 years 2 months ago
2003
Springer
In this paper we present a translation principle, called the axiomatic translation, for reducing propositional modal logics with background theories, including triangular propertie...
116
click to vote
ICIAP
2003
ACM
16 years 1 months ago
2003
ACM
Today's mobile and wireless users access multimedia content from different types of networks and terminals. Content analysis plays a critical role in developing effective sol...
105
click to vote
ACHI
2009
IEEE
15 years 8 months ago
2009
IEEE
In this paper we describe an automated system, and its attendant set of techniques and tools, that is able to generate novel multimedia experiences. Using existing online sources,...