3281 search results - page 579 / 657 » An Approach to use Executable Models for Testing |
ICDAR
2009
IEEE
13 years 6 months ago
2009
IEEE
Features representing information about pressure distribution from a static image of a handwritten signature are analyzed for an offline verification system. From gray-scale image...
IUI
1999
ACM
14 years 1 months ago
1999
ACM
We describe an approach to building integrated performance support systems by using model-based task tracking to link performance support tools to video-based organizational memor...
BMCBI
2010
13 years 6 months ago
2010
Background: Colon cancer is driven by mutations in a number of genes, the most notorious of which is Apc. Though much of Apc's signaling has been mechanistically identified o...
CASES
2008
ACM
13 years 11 months ago
2008
ACM
Detailed or cycle-accurate/bit-accurate (CABA) simulation is a critical phase in the design flow of embedded systems. However, with increasing system complexity, full detailed sim...
FOCS
2008
IEEE
14 years 3 months ago
2008
IEEE
Relational joins are at the core of relational algebra, which in turn is the core of the standard database query language SQL. As their evaluation is expensive and very often domi...