Sciweavers

1604 search results - page 278 / 321
» A Functional Approach to Generation with TAG
Sort
View
AIIDE
2009
13 years 9 months ago
Bowyer: A Planning Tool for Bridging the Gap between Declarative and Procedural Domains
Traditionally, there have been two large obstacles faced in attempting to apply AI techniques to games and other virtual environments. The first obstacle is the gap between the la...
Steven P. Cash, R. Michael Young
ICMCS
2010
IEEE
186views Multimedia» more  ICMCS 2010»
13 years 9 months ago
Worthy visual content on mobile through interactive video streaming
This paper builds on an interactive streaming architecture that supports both user feedback interpretation, and temporal juxtaposition of multiple video bitstreams in a single str...
Ivan Alen Fernandez, Christophe De Vleeschouwer, F...
SIGIR
2010
ACM
13 years 8 months ago
Generalized syntactic and semantic models of query reformulation
We present a novel approach to query reformulation which combines syntactic and semantic information by means of generalized Levenshtein distance algorithms where the substitution...
Amac Herdagdelen, Massimiliano Ciaramita, Daniel M...
FMICS
2010
Springer
13 years 8 months ago
Correctness of Sensor Network Applications by Software Bounded Model Checking
We investigate the application of the software bounded model checking tool CBMC to the domain of wireless sensor networks (WSNs). We automatically generate a software behavior mode...
Frank Werner, David Faragó
CORR
2010
Springer
150views Education» more  CORR 2010»
13 years 8 months ago
Extraction of Symbolic Rules from Artificial Neural Networks
Although backpropagation ANNs generally predict better than decision trees do for pattern classification problems, they are often regarded as black boxes, i.e., their predictions c...
S. M. Kamruzzaman, Md. Monirul Islam