Sciweavers

399 search results - page 41 / 80
» context 2001
Sort
View
PPDP
2001
Springer
15 years 2 months ago
Trust in the Pi-Calculus
We introduce a new system of trust analysis for concurrent and distributed systems using the π-calculus[13, 14, 15] as a modelling tool. A Type system using boolean annotations g...
Mark Hepburn, David Wright
PROMS
2001
Springer
110views Multimedia» more  PROMS 2001»
15 years 2 months ago
On the End-User QoS-Awareness of a Distributed Service Environment
A lot of attention has been given to network quality of service and efforts to make layers on top of the network also QoS-aware increase noticeably. This paper explores QoS-aware s...
Ing Widya, R. E. Stap, L. J. Teunissen, B. Frank H...
RECOMB
2001
Springer
15 years 2 months ago
The greedy path-merging algorithm for sequence assembly
Two different approaches to determining the human genome are currently being pursued: one is the “clone-by-clone” approach, employed by the publicly-funded Human Genome Proje...
Daniel H. Huson, Knut Reinert, Eugene W. Myers
ROBOCUP
2001
Springer
141views Robotics» more  ROBOCUP 2001»
15 years 2 months ago
5dpo Team Description
. 5dpo is a team created in 1998 in the Faculty of Engineering of the University of Porto in Portugal. The team regularly participates in RoboCup middle-size and small size leagues...
Paulo Costa, Armando Sousa, Paulo Marques, Pedro C...
SCALESPACE
2001
Springer
15 years 2 months ago
Morphological Tools for Robust Key-Region Extraction and Video Shot Modeling
Abstract. In recent years, the use of multimedia content has experienced an exponential growth. In this context, the need of new image/video sequence representation is becoming a n...
Javier Ruiz Hidalgo, Philippe Salembier