4298 search results - page 703 / 860 » Computing at the top of the world |
GLVLSI
2005
IEEE
15 years 7 months ago
2005
IEEE
Boolean Satisfiability (SAT) solvers are popular engines used throughout the verification world. Bounded sequential problems such as bounded model checking and bounded sequentia...
130
click to vote
ICIP
2005
IEEE
15 years 7 months ago
2005
IEEE
—In this paper we introduce a new 3D automatic registration method based on Gaussian fields and energy minimization. The method defines a simple ∞ C energy function, which is c...
114
click to vote
ICMCS
2005
IEEE
15 years 7 months ago
2005
IEEE
The need for personalized summaries of media content has been driven by the recent and anticipated explosive growth in the media world. In this paper we present a methodology and ...
119
click to vote
KBSE
2005
IEEE
15 years 7 months ago
2005
IEEE
Recent work in applying causal modeling (Bayesian networks) to software engineering has resulted in improved decision support systems for software project managers. Once the causa...
101
click to vote
RTAS
2005
IEEE
15 years 7 months ago
2005
IEEE
As computer systems become increasingly internetworked, there is a growing class of distributed realtime embedded (DRE) applications that have characteristics and present challeng...