1817 search results - page 80 / 364 » Extensive Games as Process Models |
LICS
2005
IEEE
15 years 6 months ago
2005
IEEE
In the 1980s process algebras became widely accepted formalisms for describing and analysing concurrency. Extensions of the formalisms, incorporating some aspects of systems which...
105
Voted
JLP
2007
15 years 18 days ago
2007
The algebra of communicating shared resources (ACSR) is a timed process algebra which extends classical process algebras with the notion of a resource. It takes the view that the ...
148
click to vote
ICDE
2011
IEEE
14 years 4 months ago
2011
IEEE
— Array database systems are architected for scientific and engineering applications. In these applications, the value of a cell is often imprecise and uncertain. There are at le...
135
click to vote
ICVS
2001
Springer
15 years 5 months ago
2001
Springer
An increasing number of computer vision applications require on-line processing of data streams, preferably in real-time. This trend is fueled by the mainstream availability of low...
125
Voted
CVPR
2009
IEEE
16 years 7 months ago
2009
IEEE
Most state-of-the-art nonrigid shape recovery methods
usually use explicit deformable mesh models to regularize
surface deformation and constrain the search space. These
triangu...