1818 search results - page 240 / 364 » Granularity-Adaptive Proof Presentation |
146
click to vote
FM
2009
Springer
16 years 29 days ago
2009
Springer
Verification methods for memory-manipulating C programs need to address not only well-typed programs that respect invariants such as the split heap memory model, but also programs...
160
click to vote
ICRA
2008
IEEE
16 years 25 days ago
2008
IEEE
— A decentralized controller is presented that causes a network of robots to converge to a near optimal sensing configuration, while simultaneously learning the distribution of ...
132
click to vote
ISCAS
2008
IEEE
16 years 24 days ago
2008
IEEE
— This paper presents a passive filter for the front end of a high speed serial link receiver to aid timing recovery. The filter provides simultaneous lowpass and highpass tran...
173
click to vote
IJCNN
2007
IEEE
16 years 21 days ago
2007
IEEE
—Starting from the strict interpolation equations for multivariate polynomials, an upper bound is developed for the number of patterns that can be memorized by a nonlinear feedfo...
172
click to vote
ISMVL
2007
IEEE
16 years 20 days ago
2007
IEEE
We define a resolution-style rule for solving the Max-SAT problem of Signed CNF formulas (Signed Max-SAT) and prove that our rule provides a complete calculus for that problem. F...