2272 search results - page 327 / 455 » Validity Invariants and Effects |
140
click to vote
ICCV
1998
IEEE
15 years 8 months ago
1998
IEEE
Many applications require detecting structural changes in a scene over a period of time. Comparing intensity values of successive images is not effective as such changes don'...
136
click to vote
SAFECOMP
1999
Springer
15 years 8 months ago
1999
Springer
We present an ongoing experience aimed at introducing statistical process control techniques to one crucial test phase, namely Function Test, of a real world software development p...
166
click to vote
CSCW
1998
ACM
15 years 8 months ago
1998
ACM
Collaborative filtering systems help address information overload by using the opinions of users in a community to make personal recommendations for documents to each user. Many c...
138
click to vote
ICCAD
1996
IEEE
15 years 8 months ago
1996
IEEE
Functional simulation is the most widely used method for design verification. At various levels of abstraction, e.g., behavioral, register-transfer level and gate level, the design...
130
click to vote
EPIA
1997
Springer
15 years 8 months ago
1997
Springer
GenSATis a family of local hill-climbing procedures for solving propositional satisfiability problems.We restate it as a navigational search process performed on an N-dimensionalc...