Sciweavers

9405 search results - page 1671 / 1881
» Computing a Model of Set Theory
Sort
View
150
Voted
CVPR
2005
IEEE
15 years 10 months ago
A Slit Scanning Depth of Route Panorama from Stationary Blur
This work achieves an efficient acquisition of scenes and their depths along streets. During the movement of a vehicle, a slit in the camera frame is set properly to sample scenes...
Min Shi, Jiang Yu Zheng
ICPADS
2005
IEEE
15 years 10 months ago
A Hint-Based Probabilistic Protocol for Unicast Communications in MANETs
Point-to-point transmissions represent a fundamental primitive in any communication network. Despite many proave appeared in the literature, providing an efficient implementation ...
Roberto Beraldi, Leonardo Querzoni, Roberto Baldon...
ACMSE
2005
ACM
15 years 10 months ago
Token-based dynamic trust establishment for web services
Despite recent advances in trust relationship control mechanisms, issues remain that impede the development of effective trust models. One of these is the lack of dynamic mechanis...
Zhengping Wu, Alfred C. Weaver
140
Voted
ATAL
2005
Springer
15 years 10 months ago
Optimal design in collaborative design network
We consider a multiagent system whose task is to aid componentcentered design by collaborative designers in a supply chain. In the earlier work, collaborative design networks are ...
Y. Xiang, J. Chen, William S. Havens
CONCUR
2005
Springer
15 years 10 months 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...
« Prev « First page 1671 / 1881 Last » Next »