7988 search results - page 226 / 1598 » A Useful Undecidable Theory |
111
click to vote
AML
2004
15 years 4 months ago
2004
We characterise imaginaries (up to interdefinability) in Hilbert spaces using a Galois theory for compact unitary groups.
125
click to vote
ATAL
2007
Springer
15 years 10 months ago
2007
Springer
We introduce in this paper an agent model based on coherence theory. We give a formalization of Thagard’s theory on coherence and use it to explain the reasoning process of an in...
169
Voted
TYPES
1993
Springer
15 years 8 months ago
1993
Springer
Abstract. A data link protocol developed and used by Philips Electronics is modeled and veri ed using I/O automata theory. Correctness is computer-checked with the Coq proof develo...
124
Voted
JOLLI
1998
15 years 4 months ago
1998
This paper shows how proof nets can be used to formalize the notion of “incomplete dependency” used in psycholinguistic theories of the unacceptability of center-embedded const...
138
click to vote
ICNSC
2007
IEEE
15 years 11 months ago
2007
IEEE
— This paper addresses the issue of robotic manipulation of multi-DOF inverted pendulums. A control scheme is designed using Lyaponov stability theory for both the robot position...