1219 search results - page 172 / 244 » Towards automatization of domain modeling |
COMPSAC
2006
IEEE
14 years 2 months ago
2006
IEEE
This paper presents behavior contracts as a new assertion mechanism and a tool that uses such contracts to support the testing of Object-Oriented (OO) systems. A behavior contract...
IPPS
2003
IEEE
14 years 2 months ago
2003
IEEE
We introduce VLADYMIR, a matrix library that permits the development of array-based code in C++. It is especially useful for numerical simulation tasks and parallelises automatical...
ICCAD
2010
IEEE
13 years 6 months ago
2010
IEEE
In this paper, we propose a new technique, referred to as MultiWafer Virtual Probe (MVP) to efficiently model wafer-level spatial variations for nanoscale integrated circuits. Tow...
ACL
2009
13 years 6 months ago
2009
Sentiment classification refers to the task of automatically identifying whether a given piece of text expresses positive or negative opinion towards a subject at hand. The prolif...
MMM
2011
Springer
13 years 14 days ago
2011
Springer
Visual summarization of landmarks is an interesting and non-trivial task with the availability of gigantic community-contributed resources. In this work, we investigate ways to gen...