2526 search results - page 197 / 506 » A New Algorithm for Answer Set Computation |
184
click to vote
DASFAA
2006
IEEE
15 years 10 months ago
2006
IEEE
Abstract The Internet and the Web are increasingly used to disseminate fast changing data such as sensor data, traffic and weather information, stock prices, sports scores, and eve...
176
click to vote
ECAI
2000
Springer
15 years 11 months ago
2000
Springer
There are two major approaches to activity coordination in multiagent systems. First, by endowing the agents with the capability to jointly plan, that is, to jointly generate hypot...
166
click to vote
COMPGEOM
2004
ACM
15 years 12 months ago
2004
ACM
The computation of Delaunay triangulations from static point sets has been extensively studied in computational geometry. When the points move with known trajectories, kinetic dat...
173
click to vote
CHARME
2001
Springer
15 years 10 months ago
2001
Springer
Model checking is the process of verifying whether a model of a concurrent system satisfies a specified temporal property. Symbolic algorithms based on Binary Decision Diagrams (BD...
159
click to vote
TCSV
2010
15 years 1 months ago
2010
We propose a new video quality assessment (VQA) algorithm--the motion compensated structural similarity index-that assesses not only spatial quality but also quality along temporal...