7393 search results - page 1322 / 1479 » Synthesis-for-testability using transformations |
144
click to vote
ASE
2005
15 years 3 months ago
2005
Techniques for efficiently evaluating future time Linear Temporal Logic (abbreviated LTL) formulae on finite execution traces are presented. While the standard models of LTL are i...
120
click to vote
BIOINFORMATICS
2005
15 years 3 months ago
2005
Oligonucleotide fingerprinting is an array-based approach used for analysis of microbial community composition and gene expression profiling. Oligonucleotide fingerprinting of rib...
221
click to vote
CORR
2010
Springer
14 years 9 months ago
2010
Springer
In this paper we present a method for reformulating the Recommender Systems problem in an Information Retrieval one. In our tests we have a dataset of users who give ratings for s...
233
click to vote
IUI
2012
ACM
13 years 10 months ago
2012
ACM
We present PhysicsBook, a prototype system that enables users to solve physics problems using a sketch-based interface and then animates any diagram used in solving the problem to...
132
click to vote
CVPR
2008
IEEE
16 years 5 months ago
2008
IEEE
Multiple Camera Systems (MCS) have been widely used in many vision applications and attracted much attention recently. There are two principle types of MCS, one is the Rigid Multi...