7397 search results - page 1262 / 1480 » Processes Are Data: A Programming Model for Distributed Appl... |
176
click to vote
ICALP
2005
Springer
16 years 2 hour ago
2005
Springer
Bigraphs are emerging as a (meta-)model for concurrent calculi, like CCS, ambients, πcalculus, and Petri nets. They are built orthogonally on two structures: a hierarchical place...
209
click to vote
SEBD
2001
15 years 7 months ago
2001
This paper introduces a new logical formalism, intended for temporal conceptual modelling, as a natural combination of the well-known description logic DLR and point-based linear ...
194
click to vote
CVPR
2005
IEEE
16 years 8 months ago
2005
IEEE
We present a surprisingly simple system that allows for robust normal reconstruction by dense photometric stereo, in the presence of severe shadows, highlight, transparencies, com...
277
click to vote
ICDE
2007
IEEE
16 years 7 months ago
2007
IEEE
For location-based services it is often essential to efficiently process proximity relations among mobile objects, such as to establish whether a group of friends or family member...
166
click to vote
KDD
2005
ACM
16 years 6 months ago
2005
ACM
Knowledge Discovery in time series usually requires symbolic time series. Many discretization methods that convert numeric time series to symbolic time series ignore the temporal ...