Sciweavers

2111 search results - page 193 / 423
» Exploring evaluation methods for ambient information systems
Sort
View
ICIP
2000
IEEE
16 years 8 months ago
Discovering Recurrent Visual Semantics in Consumer Photographs
We present techniques to semi-automatically discover Recurrent Visual Semantics (RVS) -the repetitive appearance of visually similar elements such as objects and scenes- in consum...
Alejandro Jaimes, Ana B. Benitez, Shih-Fu Chang, A...
AAAI
2010
15 years 8 months ago
Progress on Agent Coordination with Cooperative Auctions
Auctions are promising decentralized methods for teams of agents to allocate and re-allocate tasks among themselves in dynamic, partially known and time-constrained domains with p...
Sven Koenig, Pinar Keskinocak, Craig A. Tovey
XIMEP
2006
ACM
194views Database» more  XIMEP 2006»
16 years 13 days ago
Template Folding for XPath
We discuss query evaluation for XML-based server systems where the same query is evaluated on every incoming XML message. In a typical scenario, many of the incoming messages will...
Carl-Christian Kanne, Guido Moerkotte
ICTAC
2004
Springer
15 years 12 months ago
A Proof of Weak Termination Providing the Right Way to Terminate
We give an inductive method for proving weak innermost termination of rule-based programs, from which we automatically infer, for each successful proof, a finite strategy for data...
Olivier Fissore, Isabelle Gnaedig, Hél&egra...
CMOT
2010
176views more  CMOT 2010»
15 years 3 months ago
A cognitive model of spatial path-planning
Planning a path to a destination, given a number of options and obstacles, is a common task. We suggest a two-component cognitive model that combines retrieval of knowledge about t...
David Reitter, Christian Lebiere