2638 search results - page 494 / 528 » Frameworks for Reasoning about Agent Based Systems |
177
click to vote
VLDB
2007
ACM
15 years 8 months ago
2007
ACM
This tutorial presents the definition, the models and the techniques of location privacy from the data privacy perspective. By reviewing and revising the state of art research in ...
123
click to vote
ECCV
2008
Springer
16 years 3 months ago
2008
Springer
Abstract. This paper presents a unified approach to crowd segmentation. A global solution is generated using an Expectation Maximization framework. Initially, a head and shoulder d...
118
click to vote
PLDI
2011
ACM
14 years 4 months ago
2011
ACM
Exploiting today’s multiprocessors requires highperformance and correct concurrent systems code (optimising compilers, language runtimes, OS kernels, etc.), which in turn requir...
128
click to vote
CP
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. Most CSP algorithms are based on refinements and extensions of backtracking, and employ one of two simple “branching schemes”: 2-way branching or d-way branching, fo...
128
click to vote
PPDP
2007
Springer
15 years 8 months ago
2007
Springer
The problem of mechanically formalizing and proving metatheoretic properties of programming language calculi, type systems, operational semantics, and related formal systems has r...