3333 search results - page 416 / 667 » Abstract Proof Search |
149
click to vote
ICLP
2007
Springer
16 years 21 days ago
2007
Springer
Abstract. Theoretical foundations and practical realizations of answer set solving techniques are vital research issues. The challenge lies in combining the elevated modeling capac...
170
click to vote
SOFSEM
2007
Springer
16 years 20 days ago
2007
Springer
Abstract. The dependency pair method is a powerful method for automatically proving termination of rewrite systems. When used with traditional simplification orders like LPO and K...
205
click to vote
TAMC
2007
Springer
16 years 20 days ago
2007
Springer
Abstract. We develop a refinement of a forbidden submatrix characterization of 0/1-matrices fulfilling the Consecutive Ones Property (C1P). This novel characterization finds app...
155
click to vote
CAMP
2005
IEEE
16 years 5 days ago
2005
IEEE
Abstract— In this article we propose an architecture of a tracking system that can judge its own performance by an auto-critical function. Performance drops can be detected which...
146
click to vote
CEC
2005
IEEE
16 years 5 days ago
2005
IEEE
Abstract- A new algorithm is presented for evolving Binary Decision Diagrams (BDD) that employs the neutrality implicit in the BDD representation. It is shown that an effortless ne...