2584 search results - page 335 / 517 » On the Forward Checking Algorithm |
130
Voted
SOCASE
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. Existing computer science approaches to business modeling offer lowstractions such as data and control flows, which fail to capture the business intent underlying the in...
157
Voted
GLOBECOM
2008
IEEE
15 years 9 months ago
2008
IEEE
—We present a blind turbo equalizer for QAM signals that exploits the statistics that a channel code imposes on the transmitted signal. The receiver is an adaptation of previous ...
103
click to vote
ICRA
2008
IEEE
15 years 9 months ago
2008
IEEE
—We propose a new egomotion estimation algorithm for a compound omnidirectional camera. Image features are detected by a conventional feature detector and then quickly classified...
112
click to vote
ICST
2008
IEEE
15 years 9 months ago
2008
IEEE
This paper presents a method of component testing based on algebraic specifications. An algorithm for generating checkable test cases is proposed. A prototype testing tool called ...
134
click to vote
LICS
2008
IEEE
15 years 8 months ago
2008
IEEE
Tait’s method (a.k.a. proof by logical relations) is a powerful proof technique frequently used for showing foundational properties of languages based on typed λ-calculi. Histo...