Sciweavers

3224 search results - page 228 / 645
» Abstract Error Projection
Sort
View
ECSQARU
1999
Springer
15 years 11 months ago
Anchoring Symbols to Vision Data by Fuzzy Logic
Intelligent agents embedded in physical environments need ity to connect, or anchor, the symbols used to perform abstract reasoning to the physical entities which these symbols ref...
Silvia Coradeschi, Alessandro Saffiotti
POPL
1996
ACM
15 years 11 months ago
A Practical and Flexible Flow Analysis for Higher-Order Languages
operators. The analysis is abstract interpretation-based and is parameterized over two polyvariance operators and a projection operator. These operators are used to regulate the sp...
J. Michael Ashley
188
Voted
UML
2000
Springer
15 years 10 months ago
Towards a UML Profile for Software Architecture Descriptions
Abstract. To formally describe architectures of software systems, specific languages called Architecture Description Languages (ADLs) have been developed by academic institutions a...
Mohamed Mancona Kandé, Alfred Strohmeier
HPCN
1995
Springer
15 years 10 months ago
Mermaid: modelling and evaluation research in MIMD architecture design
The Mermaid project focuses on the construction of simulation models for MIMD multi-computers in order to evaluate them and to give estimates of the system’s performance. A multi...
Andy D. Pimentel, J. van Brummen, T. Papathanassia...
WSC
2007
15 years 9 months ago
Guiding principles for conceptual model creation in manufacturing simulation
Conceptual models serve as abstractions of user’s perceptions of a system. The choice and detailing of these abstractions are key to model use and understanding for analyst and ...
Durk-Jouke van der Zee, Jack G. A. J. van der Vors...