Sciweavers

13784 search results - page 315 / 2757
» On Computing Functions with Uncertainty
Sort
View
ECOOP
1993
Springer
15 years 10 months ago
A Timed Calculus for Distributed Objects with Clocks
This paper proposes a formalism for reasoning about distributed object-oriented computations. The formalism is an extension of Milner’s CCS with the notion of local time. It allo...
Ichiro Satoh, Mario Tokoro
MVA
1994
104views Computer Vision» more  MVA 1994»
15 years 8 months ago
Represent and Acquire Knowledge for the Development of Autonomous Vision System
The visual perceptional ability of computer systems to understand the environment is desirable in engineering design and manufacturing where automation is anticipated. I n order t...
Xiaobu Yuan
CORR
2007
Springer
74views Education» more  CORR 2007»
15 years 6 months ago
Redesigning Decision Matrix Method with an indeterminacy-based inference process
For academics and practitioners concerned with computers, business and mathematics, one central issue is supporting decision makers. In this paper, we propose a generalization of ...
Jose L. Salmeron, Florentin Smarandache
AROBOTS
2004
104views more  AROBOTS 2004»
15 years 6 months ago
A Set Theoretic Approach to Dynamic Robot Localization and Mapping
This paper addresses the localization and mapping problem for a robot moving through a (possibly) unknown environment where indistinguishable landmarks can be detected. A set theo...
Mauro Di Marco, Andrea Garulli, Antonio Giannitrap...
CCE
2004
15 years 6 months ago
Continuous-time versus discrete-time approaches for scheduling of chemical processes: a review
An overview of developments in the scheduling of multiproduct/multipurpose batch and continuous processes is presented. Existing approaches are classified based on the time repres...
Christodoulos A. Floudas, Xiaoxia Lin