Sciweavers

12487 search results - page 186 / 2498
» Graspable Work Modeling
Sort
View
119
Voted
WSC
2008
15 years 6 months ago
Automating the development of Shipyard manufacturing models
Simulation results are often needed within a short time frame, while the development of simulation models can be time consuming. We develop a methodology to facilitate rapid gener...
Gabriel A. Burnett, Deborah J. Medeiros, Daniel A....
118
Voted
ICTIR
2009
Springer
15 years 10 months ago
Modeling the Score Distributions of Relevant and Non-relevant Documents
Empirical modeling of the score distributions associated with retrieved documents is an essential task for many retrieval applications. In this work, we propose modeling the releva...
Evangelos Kanoulas, Virgiliu Pavlu, Keshi Dai, Jav...
120
Voted
TASE
2007
IEEE
15 years 10 months ago
Model Checking Networked Programs in the Presence of Transmission Failures
Software model checkers work directly on single-process programs, but not on multiple processes. Conversion of processes into threads, combined with a network model, allows for mo...
Cyrille Artho, Christian Sommer 0002, Shinichi Hon...
133
Voted
SIBGRAPI
1999
IEEE
15 years 8 months ago
Piecewise Trilinear Deformation of Tomographic Models
: In this work we introduce an iterative method that deforms brain models built from tomographic images. The deformation is used for normalization purposes: individual models are d...
Sílvio de Barros Melo
146
Voted
ISIM
2007
15 years 5 months ago
Verification of Good Design Style of UML Models
Software architecture, and its behavior can be expressed as UML models. Models of complex systems can be also complex and hard to read – they may consists of hundreds of artifact...
Bogumila Hnatkowska