Sciweavers

29147 search results - page 119 / 5830
» System Modeling Resurrected
Sort
View
ICST
2009
IEEE
15 years 2 months ago
Putting Formal Specifications under the Magnifying Glass: Model-based Testing for Validation
A software development process is conceptually an abstract form of model transformation, starting from an enduser model of requirements, through to a system model for which code c...
Emine G. Aydal, Richard F. Paige, Mark Utting, Jim...
JCST
2000
91views more  JCST 2000»
15 years 4 months ago
Multi-Volume CAD Modeling for Heterogeneous Object Design and Fabrication
A review of current computer-aided technologies in design and product development, the evolution of CAD modeling, and a framework of multi-volume CAD modeling system for heterogen...
Wei Sun
RAS
2000
116views more  RAS 2000»
15 years 4 months ago
Collision avoidance using a model of the locust LGMD neuron
The lobula giant movement detector (LGMD) system in the locust responds selectively to objects approaching the animal on a collision course. In earlier work we have presented a ne...
Mark Blanchard, F. Claire Rind, Paul F. M. J. Vers...
ACL
2010
15 years 2 months ago
A Joint Rule Selection Model for Hierarchical Phrase-Based Translation
In hierarchical phrase-based SMT systems, statistical models are integrated to guide the hierarchical rule selection for better translation performance. Previous work mainly focus...
Lei Cui, Dongdong Zhang, Mu Li, Ming Zhou, Tiejun ...
CGVR
2009
15 years 2 months ago
Interactive Models From Images of a Static Scene
FXPAL's Pantheia system enables users to create virtual models by `marking up' a physical space with pre-printed visual markers. The meanings associated with the markers...
Eleanor G. Rieffel, Don Kimber, Jim Vaughan, Sagar...