Sciweavers

295 search results - page 42 / 59
» Games and Definability for System F
Sort
View
AIRWEB
2008
Springer
13 years 10 months ago
A large-scale study of automated web search traffic
As web search providers seek to improve both relevance and response times, they are challenged by the ever-increasing tax of automated search query traffic. Third party systems in...
Gregory Buehrer, Jack W. Stokes, Kumar Chellapilla
GAMEON
2003
13 years 10 months ago
Automatic Acquisition of Actions for Animated Agents
The generation of animated human figures especially in crowd scenes has many applications in such domains as the special effects industry, computer games or for the simulation of ...
Adam Szarowicz, Marek Mittmann, Paolo Remagnino, J...
ALIFE
2006
13 years 8 months ago
Axiomatic Scalable Neurocontroller Analysis via the Shapley Value
One of the major challenges in the field of neurally driven evolved autonomous agents is deciphering the neural mechanisms underlying their behavior. Aiming at this goal, we have d...
Alon Keinan, Ben Sandbank, Claus C. Hilgetag, Isaa...
AI
1999
Springer
13 years 8 months ago
RoboCup: Today and Tomorrow - What we have learned
RoboCup is an increasingly successful attempt to promote the full integration of AI and robotics research. The most prominent feature of RoboCup is that it provides the researcher...
Minoru Asada, Hiroaki Kitano, Itsuki Noda, Manuela...
JUCS
2008
150views more  JUCS 2008»
13 years 8 months ago
On the Interaction of Advices and Raw Types in AspectJ
: The latest versions of AspectJ, the most popular aspect-oriented extension for Java, must cope with the complex changes that occurred in the Java type system, specially with thos...
Fernando Barden Rubbo, Rodrigo Machado, Alvaro Fre...