Sciweavers

306 search results - page 15 / 62
» Towards a Generic Modeling Language for Contract-Based Desig...
Sort
View
136
Voted
DSD
2009
IEEE
152views Hardware» more  DSD 2009»
15 years 7 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
119
Voted
ICCV
2003
IEEE
16 years 5 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»
15 years 4 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 5 months 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
15 years 1 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