Sciweavers

306 search results - page 15 / 62
» Towards a Generic Modeling Language for Contract-Based Desig...
Sort
View
DSD
2009
IEEE
152views Hardware» more  DSD 2009»
15 years 3 months ago
ARROW - A Generic Hardware Fault Injection Tool for NoCs
Todays NoCs are reaching a level where it is getting very hard to ensure 100% of functionality. Consequently, fault tolerance has become an important aspect in todays design techn...
Michael Birner, Thomas Handl
ICCV
2003
IEEE
16 years 1 months ago
Towards a Mathematical Theory of Primal Sketch and Sketchability
In this paper, we present a mathematical theory for Marr's primal sketch. We first conduct a theoretical study of the descriptive Markov random field model and the generative...
Cheng-en Guo, Song Chun Zhu, Ying Nian Wu
ENTCS
2008
106views more  ENTCS 2008»
14 years 11 months ago
Towards Verifying Model Transformations
In model-based software development, a complete design and analysis process involves designing the system using the design language, converting it into the analysis language, and ...
Anantha Narayanan, Gabor Karsai
ACL
2001
15 years 19 days ago
Error Profiling: Toward a Model of English Acquisition for Deaf Learners
In this paper we discuss our approach toward establishing a model of the acquisition of English grammatical structures by users of our English language tutoring system, which has ...
Lisa N. Michaud, Kathleen F. McCoy
OTM
2010
Springer
14 years 9 months ago
Towards Using Semantic Decision Tables for Organizing Data Semantics
In the ITEA2 Do-It-Yourself Smart Experiences project (DIY-SE), we are required to design an ontology-based ambient computing environment to support users to DIY their personalized...
Yan Tang