6014 search results - page 892 / 1203 » Structural Testing with Use Cases |
142
click to vote
ICDM
2009
IEEE
15 years 11 months ago
2009
IEEE
A pervasive problem in large relational databases is identity uncertainty which occurs when multiple entries in a database refer to the same underlying entity in the world. Relati...
139
click to vote
TLCA
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Programming languages theory is full of problems that reduce to proving the consistency of a logic, such as the normalization of typed lambda-calculi, the decidability of...
155
click to vote
ISLPED
2009
ACM
15 years 11 months ago
2009
ACM
Extreme technology integration in the sub-micron regime comes with a rapid rise in heat dissipation and power density for modern processors. Dynamic voltage scaling is a widely us...
157
click to vote
BIBM
2008
IEEE
15 years 11 months ago
2008
IEEE
Protein fold recognition is the prediction of protein’s tertiary structure (Fold) given the protein’s sequence without relying on sequence similarity. Using machine learning t...
136
click to vote
ETFA
2008
IEEE
15 years 11 months ago
2008
IEEE
We present a fast line segment tracker which does not require any knowledge about the motion of the camera nor the structure of the observed scene. It runs on 320 x 240 pixel imag...