9227 search results - page 396 / 1846 » Developing Use Cases from Organizational Modeling |
172
click to vote
APSEC
2005
IEEE
16 years 12 days ago
2005
IEEE
A test oracle is a mechanism that is used during testing to determine whether a software component behaves correctly or not. The test oracle problem is widely acknowledged in the ...
197
click to vote
AAAI
2006
15 years 8 months ago
2006
Recent research shows that SAT (propositional satisfiability) techniques can be employed to build efficient systems to compute answer sets for logic programs. ASSAT and CMODELS ar...
178
click to vote
PG
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper addresses the problem of 3D reconstruction from a set of viewpoints on a short baseline. Its main contribution is the development of a robust algorithm which can extrac...
255
click to vote
CVPR
2009
IEEE
17 years 2 months ago
2009
IEEE
We present a streaming framework for seamless building reconstruction from huge aerial LiDAR point sets. By storing data as stream files on hard disk and using main memory as only ...
151
click to vote
NIPS
2003
15 years 8 months ago
2003
A major issue in evaluating speech enhancement and hearing compensation algorithms is to come up with a suitable metric that predicts intelligibility as judged by a human listener...