2584 search results - page 305 / 517 » On the Forward Checking Algorithm |
ISBI
2008
IEEE
16 years 4 months ago
2008
IEEE
We propose a new image analysis method to segment and track cells in a growing colony. By using an intermediate low-dimension image representation yielded by a reliable over-segme...
135
Voted
CADE
2003
Springer
16 years 3 months ago
2003
Springer
We describe the integration of permutation group algorithms with proof planning. We consider eight basic questions arising in computational permutation group theory, for which our ...
134
Voted
AAIM
2009
Springer
15 years 10 months ago
2009
Springer
Polyhedra are widely used in model checking and abstract interpretation. Polyhedral analysis is effective when the relationships between variables are linear, but suffers from im...
143
Voted
RR
2009
Springer
15 years 10 months ago
2009
Springer
Open Answer Set Programming (OASP) can be seen as a framework to represent tightly integrated combined knowledge bases of ontologies and rules that are not necessarily DL-safe. The...
117
click to vote
GLOBECOM
2008
IEEE
15 years 10 months ago
2008
IEEE
— For decoding low-density parity-check (LDPC) codes on discrete memoryless channels, a method to quantize messages and to find message-passing decoding functions for the variab...