Sciweavers

10874 search results - page 299 / 2175
» An Improvement in Sugeno-Yasukawa Modeler
Sort
View
QOSA
2009
Springer
15 years 11 months ago
Automated Architecture Consistency Checking for Model Driven Software Development
When software projects evolve their actual implementation and their intended architecture may drift apart resulting in problems for further maintenance. As a countermeasure it is g...
Matthias Biehl, Welf Löwe
CVPR
2000
IEEE
15 years 11 months ago
Scene Modeling for Wide Area Surveillance and Image Synthesis
We present a method for modeling a scene that is observed by a moving camera, where only a portion of the scene is visible at any time. This method uses mixture models to represen...
Anurag Mittal, Daniel P. Huttenlocher
GLVLSI
2000
IEEE
87views VLSI» more  GLVLSI 2000»
15 years 11 months ago
Speeding up symbolic model checking by accelerating dynamic variable reordering
Symbolic Model checking is a widely used technique in sequential verification. As the size of the OBDDs and also the computation time depends on the order of the input variables,...
Christoph Meinel, Christian Stangier
DEXAW
1999
IEEE
124views Database» more  DEXAW 1999»
15 years 11 months ago
A Web-Based Evolutionary Model for Internet Data Caching
Caching is a standard solution to the problem of insufcient bandwidth caused by the rapid increase of information circulation across the Internet. Cache consistency mechanisms are...
Athena Vakali
IJON
2000
71views more  IJON 2000»
15 years 6 months ago
Variable selection using neural-network models
In this paper we propose an approach to variable selection that uses a neural-network model as the tool to determine which variables are to be discarded. The method performs a bac...
Giovanna Castellano, Anna Maria Fanelli