Sciweavers

11484 search results - page 100 / 2297
» Modeling in the Large and Modeling in the Small
Sort
View
ICCS
2007
Springer
16 years 14 days ago
Hessian-Based Model Reduction for Large-Scale Data Assimilation Problems
Assimilation of spatially- and temporally-distributed state observations into simulations of dynamical systems stemming from discretized PDEs leads to inverse problems with high-di...
Omar Bashir, Omar Ghattas, Judith Hill, Bart G. va...
DATE
2002
IEEE
95views Hardware» more  DATE 2002»
15 years 11 months ago
Window-Based Susceptance Models for Large-Scale RLC Circuit Analyses
Due to the increasing operating frequencies and the manner in which the corresponding integrated circuits and systems must be designed, the extraction, modeling and simulation of ...
Hui Zheng, Lawrence T. Pileggi, Michael W. Beattie...
ECBS
2010
IEEE
209views Hardware» more  ECBS 2010»
15 years 10 months ago
Continuous Verification of Large Embedded Software Using SMT-Based Bounded Model Checking
The complexity of software in embedded systems has increased significantly over the last years so that software verification now plays an important role in ensuring the overall pr...
Lucas Cordeiro, Bernd Fischer 0002, João Ma...
COLING
1992
15 years 7 months ago
Word-Sense Disambiguation Using Statistical Models of Roget's Categories Trained on Large Corpora
This paper describes a program that disambignates English word senses in unrestricted text using statistical models of the major Roget's Thesaurus categories. Roget's ca...
David Yarowsky
VIS
2004
IEEE
166views Visualization» more  VIS 2004»
16 years 7 months ago
2D Maps for Visual Analysis and Retrieval in Large Multi-Feature 3D Model Databases
Multimedia objects are often described by high-dimensional feature vectors which can be used for retrieval and clustering tasks. We have built an interactive retrieval system for ...
Benjamin Bustos, Daniel A. Keim, Christian Panse, ...