1717 search results - page 274 / 344 » A Computable Spectral Theorem |
175
click to vote
ICPR
2008
IEEE
16 years 22 days ago
2008
IEEE
In this paper, we design linear time algorithms to recognize and determine topological invariants such as genus and homology groups in 3D. These invariants can be used to identify...
189
click to vote
LICS
2007
IEEE
16 years 17 days ago
2007
IEEE
We define a new class of languages defined by multi-stack automata that forms a robust subclass of context-sensitive languages, with decidable emptiness and closure under boolea...
164
click to vote
CSL
2007
Springer
16 years 14 days ago
2007
Springer
In 1973, Parikh proved a speed-up theorem conjectured by G¨odel 37 years before: there exist arithmetical formulæ that are provable in first order arithmetic, but whose shorter ...
151
click to vote
FROCOS
2007
Springer
16 years 13 days ago
2007
Springer
Constraint solvers are key modules in many systems with reasoning capabilities (e.g., automated theorem provers). To incorporate constraint solvers in such systems, the capability ...
205
click to vote
ACL2
2006
ACM
16 years 8 days ago
2006
ACM
Support for congruence-based rewriting is built into ACL2. This capability allows ACL2 to treat certain predicate relations ”just like equality” under appropriate conditions a...