Sciweavers

77016 search results - page 237 / 15404
» Modeling
Sort
View
HAPTICS
2010
IEEE
15 years 2 months ago
Force-Based Calibration of a Particle System for Realistic Simulation of Nonlinear and Viscoelastic Soft Tissue Behavior
We present a new approach for realistic visio-haptic simulation of nonlinear and viscoelastic behavior of an organ tissue using a particle model. The spring and damper coefficients...
Bektas Baybora Baran, Cagatay Basdogan
EMNLP
2009
15 years 1 months ago
Perceptron Reranking for CCG Realization
This paper shows that discriminative reranking with an averaged perceptron model yields substantial improvements in realization quality with CCG. The paper confirms the utility of...
Michael White, Rajakrishnan Rajkumar
ACL
2012
13 years 6 months ago
Hierarchical Chunk-to-String Translation
We present a hierarchical chunk-to-string translation model, which can be seen as a compromise between the hierarchical phrasebased model and the tree-to-string model, to combine ...
Yang Feng, Dongdong Zhang, Mu Li, Qun Liu
GI
2005
Springer
15 years 9 months ago
Automated Quality Assurance for UML Models
Abstract: Model based development, like proposed by the OMG’s Model Driven Arre (MDA), aims to raise the level of abstraction from working on the code to working with models. For...
Tilman Seifert, Florian Jug, Günther Rackl
SIGSOFT
2003
ACM
16 years 4 months ago
Bogor: an extensible and highly-modular software model checking framework
Model checking is emerging as a popular technology for reasoning about behavioral properties of a wide variety of software artifacts including: requirements models, architectural ...
Robby, Matthew B. Dwyer, John Hatcliff
« Prev « First page 237 / 15404 Last » Next »