Sciweavers

5393 search results - page 334 / 1079
» Spatial Computing with Labels
Sort
View
IPPS
2005
IEEE
16 years 10 days ago
Optimal Channel Assignments for Lattices with Conditions at Distance Two
The problem of radio channel assignments with multiple levels of interference can be modeled using graph theory. Given a graph G, possibly infinite, and real numbers k1, k2, . . ...
Jerrold R. Griggs, Xiaohua Teresa Jin
CONCUR
2005
Springer
16 years 8 days ago
Deriving Weak Bisimulation Congruences from Reduction Systems
The focus of process calculi is interaction rather than computation, and for this very reason: (i) their operational semantics is conveniently expressed by labelled transition syst...
Roberto Bruni, Fabio Gadducci, Ugo Montanari, Pawe...
CONCUR
2005
Springer
16 years 8 days ago
The Individual and Collective Token Interpretations of Petri Nets
Starting from the opinion that the standard firing rule of Petri nets embodies the collective token interpretation of nets rather than their individual token interpretation, I pro...
Rob J. van Glabbeek
ECCV
2010
Springer
15 years 11 months ago
Learning to Recognize Objects from Unseen Modalities
Abstract. In this paper we investigate the problem of exploiting multiple sources of information for object recognition tasks when additional modalities that are not present in the...
CVPR
2010
IEEE
15 years 11 months ago
Taxonomic Classification for Web-based Videos
Categorizing web-based videos is an important yet challenging task. The difficulties arise from large data diversity within a category, lack of labeled data, and degradation of vi...
Yang Song, Ming Zhao, Jay Yagnik, Xiaoyun Wu