Sciweavers

632 search results - page 105 / 127
» constraints 2000
Sort
View
HUMO
2000
Springer
13 years 11 months ago
Hand Shape Estimation Using Image Transition Network
This paper presents a method of hand posture estimation from silhouette images taken by two cameras. First, we extract the silhouette contour for a pair of images. We construct an...
Yasushi Hamada, Nobutaka Shimada, Yoshiaki Shirai
HYBRID
2000
Springer
13 years 11 months ago
Modular Specification of Hybrid Systems in CHARON
Abstract. We propose a language, called Charon, for modular specification of interacting hybrid systems. For hierarchical description of the system architecture, Charon supports bu...
Rajeev Alur, Radu Grosu, Yerang Hur, Vijay Kumar, ...
ICPR
2000
IEEE
13 years 11 months ago
MRF Solutions for Probabilistic Optical Flow Formulations
In this paper we propose an efficient, non-iterative method for estimating optical flow. We develop a probabilistic framework that is appropriate for describing the inherent uncer...
Sébastien Roy, Venu Govindu
ICSE
2000
IEEE-ACM
13 years 11 months ago
Requirements engineering in the year 00: a research perspective
Requirements engineering (RE) is concerned with the identification of the goals to be achieved by the envisioned system, the operationalization of such goals into services and con...
Axel van Lamsweerde
IDEAL
2000
Springer
13 years 11 months ago
Round-Table Architecture for Communication in Multi-agent Softbot Systems
In multi -agent systems based on softbots, communication architectures have significant influences on system performance as interaction and cooperation of softbots are carried out...
Pham Hong Hanh, Tran Cao Son