4075 search results - page 380 / 815 » Modeling Distributed Algorithm Using B |
208
click to vote
ATAL
2008
Springer
15 years 8 months ago
2008
Springer
Future agent applications will increasingly represent human users autonomously or semi-autonomously in strategic interactions with similar entities. Hence, there is a growing need...
246
click to vote
ICDT
2012
ACM
13 years 9 months ago
2012
ACM
A universal model of a database D and a set Σ of integrity constraints is a database that extends D, satisfies Σ, and is most general in the sense that it contains sound and co...
169
click to vote
CVPR
2006
IEEE
16 years 8 months ago
2006
IEEE
We present a novel algorithm (which we call "FragTrack") for tracking an object in a video sequence. The template object is represented by multiple image fragments or pa...
226
click to vote
SIGIR
2009
ACM
16 years 1 months ago
2009
ACM
Social tagging is becoming increasingly popular in many Web 2.0 applications where users can annotate resources (e.g. Web pages) with arbitrary keywords (i.e. tags). A tag recomme...
187
click to vote
CCGRID
2007
IEEE
16 years 1 months ago
2007
IEEE
In the past, efficient parallel algorithms have always been developed specifically for the successive generations of parallel systems (vector machines, shared-memory machines, d...