Sciweavers

3514 search results - page 263 / 703
» Software Process Modeling: Principles of Entity Process Mode...
Sort
View
IPSN
2004
Springer
15 years 10 months ago
Estimation from lossy sensor data: jump linear modeling and Kalman filtering
Due to constraints in cost, power, and communication, losses often arise in large sensor networks. The sensor can be modeled as an output of a linear stochastic system with random...
Alyson K. Fletcher, Sundeep Rangan, Vivek K. Goyal
HYBRID
2001
Springer
15 years 9 months ago
Assume-Guarantee Reasoning for Hierarchical Hybrid Systems
Abstract. The assume-guarantee paradigm is a powerful divide-andconquer mechanism for decomposing a veri cation task about a system into subtasks about the individual components of...
Thomas A. Henzinger, Marius Minea, Vinayak S. Prab...
ISASSCI
2001
15 years 5 months ago
Metadata Driven Data Transformation
The bottleneck of a data warehouse implementation is the ETL (extraction, transformation, and load) process, which carries out the initial population of the data warehouse and its...
Petr Aubrecht, Zdenek Kouba
WSC
2001
15 years 5 months ago
Analyzing the supply chain for a large logistics operation using simulation
This paper presents a case study of using simulation for analyzing the impact of proposed changes in the supply chain processes for a large logistics operation. The major changes ...
Sanjay Jain, Eric C. Ervin, Andrew P. Lathrop, Rus...
GRAMMARS
2002
119views more  GRAMMARS 2002»
15 years 4 months ago
Computational Complexity of Probabilistic Disambiguation
Recent models of natural language processing employ statistical reasoning for dealing with the ambiguity of formal grammars. In this approach, statistics, concerning the various li...
Khalil Sima'an