Sciweavers

193 search results - page 4 / 39
» On the Automatic Construction of Indistinguishable Operation...
Sort
View
ICDCS
2000
IEEE
15 years 6 months ago
Active Files: A Mechanism for Integrating Legacy Applications into Distributed Systems
Despite increasingly distributed internet information sources with diverse storage formats and access-control constraints, most of the end applications (e.g., filters and media p...
Partha Dasgupta, Ayal Itzkovitz, Vijay Karamcheti
LICS
1992
IEEE
15 years 5 months ago
Equivalences on Observable Processes
The aim of this paper is to find the finest `observable' and `implementable' equivalence on concurrent processes. This is a part of a larger programme to develop a theor...
Irek Ulidowski
IJCNN
2007
IEEE
15 years 8 months ago
A Constructive-Fuzzy System Modeling for Time Series Forecasting
— This paper suggests a constructive fuzzy system modeling for time series prediction. The model proposed is based on Takagi-Sugeno system and it comprises two phases. First, a f...
Ivette Luna, Secundino Soares, Rosangela Ballini
SMA
2005
ACM
151views Solid Modeling» more  SMA 2005»
15 years 7 months ago
A constructive approach to calculate parameter ranges for systems of geometric constraints
Geometric constraints are at the heart of parametric and feature-based CAD systems. Changing values of geometric constraint parameters is one of the most common operations in such...
Hilderick A. van der Meiden, Willem F. Bronsvoort
LISA
2004
15 years 3 months ago
Auto-configuration by File Construction: Configuration Management with newfig
A tool is described that provides for the automatic configuration of systems from a single description. The tool, newfig, uses two simple concepts to provide its functionality: bo...
William LeFebvre, David Snyder