Sciweavers

16606 search results - page 478 / 3322
» Context Modeling: Task Model and Practice Model
Sort
View
DAC
2008
ACM
16 years 7 months ago
Construction of concrete verification models from C++
C++ based verification methodologies are now emerging as the preferred method for SOC design. However most of the verification involving the C++ models are simulation based. The c...
Malay Haldar, Gagandeep Singh, Saurabh Prabhakar, ...
ICDAR
2003
IEEE
16 years 4 days ago
Rectifying the Bound Document Image Captured by the Camera: A Model Based Approach
A model based approach for rectifying the camera image of the bound document has been developed, i.e., the surface of the document is represented by a general cylindrical surface....
Huaigu Cao, Xiaoqing Ding, Changsong Liu
HICSS
2002
IEEE
116views Biometrics» more  HICSS 2002»
15 years 11 months ago
Multiagent Modeling and Simulation in Human-Robot Mission Operations Work System Design
This paper describes a collaborative multiagent modeling and simulation approach for designing work systems. The Brahms environment is used to model mission operations for a semi-...
Maarten Sierhuis, William J. Clancey, Michael H. S...
VL
1997
IEEE
137views Visual Languages» more  VL 1997»
15 years 11 months ago
A Framework of Syntactic Models for the Implementation of Visual Languages
In this paper we present a framework of syntactic models for the definition and implementation of visual languages. We analyze a wide range of existing visual languages and, for e...
Gennaro Costagliola, Andrea De Lucia, Sergio Orefi...
WSC
1998
15 years 8 months ago
Application of Simulation Models in Capacity Constrained Rail Corridors
This paper focuses on the practical value of using and selecting rail simulation models to find real solutions to real problems in constrained traffic corridors. It discusses issu...
Robert H. Leilich