Sciweavers

6434 search results - page 404 / 1287
» Model Transformations with Reference Models
Sort
View
JCISE
2002
129views more  JCISE 2002»
15 years 6 months ago
Modeling Information Needs in Engineering Databases Using Tacit Knowledge
Online resources of engineering design information are a critical resource for practicing engineers. These online resources often contain references and content associated with te...
Shuang Song, Andy Dong, Alice M. Agogino
TASLP
2010
109views more  TASLP 2010»
15 years 5 months ago
Model-Based Expectation-Maximization Source Separation and Localization
Abstract—This paper describes a system, referred to as modelbased expectation-maximization source separation and localization (MESSL), for separating and localizing multiple soun...
Michael I. Mandel, Ron J. Weiss, Daniel P. W. Elli...
CMOT
2010
176views more  CMOT 2010»
15 years 4 months ago
A cognitive model of spatial path-planning
Planning a path to a destination, given a number of options and obstacles, is a common task. We suggest a two-component cognitive model that combines retrieval of knowledge about t...
David Reitter, Christian Lebiere
CVPR
1999
IEEE
16 years 8 months ago
Eigen-Texture Method: Appearance Compression Based on 3D Model
Image-based and model-based methods are two representative rendering methods for generating virtual images of objects from their real images. Extensive research on these two metho...
Ko Nishino, Yoichi Sato, Katsushi Ikeuchi
ICSE
2007
IEEE-ACM
16 years 6 months ago
Formal Software Analysis Emerging Trends in Software Model Checking
The study of methodologies and techniques to produce correct software has been active for four decades. During this period, researchers have developed and investigated a wide vari...
Matthew B. Dwyer, John Hatcliff, Robby, Corina S. ...