505 search results - page 66 / 101 » Global Model Checking of Ordered Multi-Pushdown Systems |
116
click to vote
ISCAPDCS
2004
15 years 1 months ago
2004
Internet today, has transformed into a global information hub. The increase in its usage and magnitude have sparkled various research problems. Because of the diverse user populat...
AI
2005
Springer
14 years 11 months ago
2005
Springer
The Distributed Constraint Optimization Problem (DCOP) is able to model a wide variety of distributed reasoning tasks that arise in multiagent systems. Unfortunately, existing met...
110
click to vote
COOTS
1997
15 years 1 months ago
1997
The boundary between application and system is becoming increasingly permeable. Extensible applications, such as web browsers, database systems, and operating systems, demonstrate...
145
click to vote
ICCV
2007
IEEE
16 years 7 months ago
2007
IEEE
This paper presents a component based deformable
model for generalized face alignment, in which a novel bistage
statistical framework is proposed to account for both
local and g...
104
click to vote
LCPC
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. Partitioned Global Address Space (PGAS) languages offer an attractive, high-productivity programming model for programming large-scale parallel machines. PGAS languages, ...