7991 search results - page 148 / 1599 » Using More Reasoning to Improve |
142
click to vote
3DIM
2005
IEEE
15 years 11 months ago
2005
IEEE
Toward a successful 3D and textural reconstruction of urban scenes, the use of both single-row based telemetric and photographic data in a same framework has proved to be a powerf...
151
click to vote
ASWEC
2000
IEEE
15 years 10 months ago
2000
IEEE
This paper describes the development of an experience factory in an Australian organization involved in the field of telecommunications. Faced with improvement needs, in 1998 the ...
164
click to vote
ICCAD
2006
IEEE
16 years 2 months ago
2006
IEEE
The paper explores several ways to improve the speed and capacity of combinational equivalence checking based on Boolean satisfiability (SAT). State-of-the-art methods use simulat...
171
click to vote
AFRIGRAPH
2009
ACM
15 years 10 months ago
2009
ACM
Traditionally, levels of detail (LOD) for animated characters are computed from a single pose. Later techniques refined this approach by considering a set of sample poses and eval...
149
click to vote
STEP
2005
IEEE
15 years 11 months ago
2005
IEEE
The article focuses on a problem software companies often face: the need to choose a software quality model that, besides being auditable, ensures the connection of quality goals ...