Sciweavers

29143 search results - page 276 / 5829
» A Sortation System Model
Sort
View
HAPTICS
2002
IEEE
15 years 11 months ago
System Identification of the Human Hand Grasping a Haptic Knob
Accurate dynamic models of human hands grasping haptic devices can help to inform stability analyses, control algorithms, device design, and technology development efforts. The cu...
Christopher J. Hasser, Mark R. Cutkosky
COLING
2010
15 years 1 months ago
A Large Scale Ranker-Based System for Search Query Spelling Correction
This paper makes three significant extensions to a noisy channel speller designed for standard written text to target the challenging domain of search queries. First, the noisy ch...
Jianfeng Gao, Xiaolong Li, Daniel Micol, Chris Qui...
IRI
2007
IEEE
16 years 26 days ago
ModelML: a Markup Language for Automatic Model Synthesis
Domain-specific modeling has become a popular way of designing and developing systems. It generally involves a systematic use of a set of object-oriented models to represent vari...
Cong Zhang, Amol Bakshi, Viktor K. Prasanna
IFM
2009
Springer
155views Formal Methods» more  IFM 2009»
15 years 4 months ago
Application of Graph Transformation in Verification of Dynamic Systems
Abstract. A communication system evolves dynamically with the addition and deletion of services. In our previous work [12], a graph transformation system (GTS) was used to model th...
Zarrin Langari, Richard J. Trefler
APSEC
2000
IEEE
15 years 11 months ago
Enterprise modeling using class and instance models
Current object-oriented formalisms, such as UML, focus on describing class models and use instance models only for depicting scenarios. Little attention is being devoted to defini...
Rakesh Agarwal, Giorgio Bruno, Marco Torchiano