14704 search results - page 440 / 2941 » computing 2007 |
141
click to vote
ICCAD
2007
IEEE
16 years 1 months ago
2007
IEEE
— Computing counterexamples is a crucial task for error diagnosis and debugging of sequential systems. If an implementation does not fulfill its specification, counterexamples ...
118
click to vote
WADS
2007
Springer
15 years 11 months ago
2007
Springer
We study the presence of obstacles in computing BCP(s, t) (Best Coverage Path between two points s and t) in a 2D field under surveillance by sensors. Consider a set of m line seg...
136
click to vote
WSC
2007
15 years 7 months ago
2007
Co-design modeling is considered key toward handling the complexity and scale of network systems. The ability to separately specify the software and hardware aspects of computer n...
126
Voted
CSDA
2007
15 years 5 months ago
2007
Computational methods, which can be implemented using standard Cox regression software, are given for fitting “exact” pseudolikehood estimates and robust and asymptotic varia...
151
Voted
PAMI
2007
15 years 4 months ago
2007
Abstract— Many vision problems can be formulated as minimization of appropriate energy functionals. These energy functionals are usually minimized, based on the calculus of varia...