1188 search results - page 162 / 238 » Testing Semantics: Connecting Processes and Process Logics |
126
click to vote
CSCWD
2007
Springer
15 years 10 months ago
2007
Springer
Ubiquitous computing is increasingly becoming part of our lives. Various computing devices, having different sizes and capabilities, and using different software platforms are part...
131
click to vote
ICALP
2005
Springer
15 years 9 months ago
2005
Springer
We introduce a foundational language for modelling applications over global computers whose interconnection structure can be explicitly manipulated. Together with process distribut...
137
click to vote
AAAI
2006
15 years 5 months ago
2006
We introduce point-based dynamic programming (DP) for decentralized partially observable Markov decision processes (DEC-POMDPs), a new discrete DP algorithm for planning strategie...
105
Voted
ICDAR
2009
IEEE
15 years 1 months ago
2009
IEEE
The paper presents a clutter detection and removal algorithm for complex document images. The distance transform based approach is independent of clutter's position, size, sh...
139
Voted
ICRA
2009
IEEE
15 years 1 months ago
2009
IEEE
This paper presents a method for accurately segmenting and classifying 3D range data into particular object classes. Object classification of input images is necessary for applicat...