5550 search results - page 846 / 1110 » Different Approaches to Proof Systems |
144
click to vote
AIPS
2000
15 years 8 months ago
2000
The paradigm of advisable planning, in which a user provides guidance to influence the content of solutions produced by an underlying planning system, holds much promise for impro...
228
click to vote
DAIS
2009
15 years 7 months ago
2009
Data aggregation plays an important role in the design of scalable systems, allowing the determination of meaningful system-wide properties to direct the execution of distributed a...
184
click to vote
ICANN
2010
Springer
15 years 7 months ago
2010
Springer
This paper addresses the problem of lip segmentation in color space, which is a crucial issue to the success of a lip-reading system. We present a new segmentation approach to lip ...
211
click to vote
CG
2010
Springer
15 years 6 months ago
2010
Springer
We address the problem of fast, large scale sketch-based image retrieval, searching in a database of over one million images. We show that current retrieval methods do not scale w...
174
click to vote
EAAI
2008
15 years 6 months ago
2008
Multi-agent systems allow the simulation of complex phenomena that cannot easily be described analytically. Multi-agent approaches are often based on coordinating agents whose act...