835 search results - page 32 / 167 » Characterizing rosy theories |
99
Voted
LICS
2009
IEEE
15 years 6 months ago
2009
IEEE
—We use the recently developed theory of forest algebras to find algebraic characterizations of the languages of unranked trees and forests definable in various logics. These i...
84
Voted
CORR
2007
Springer
14 years 11 months ago
2007
Springer
The subject of this article is the long standing open problem of developing a general capacity theory for wireless networks, particularly a theory capable of describing the fundam...
IGPL
2008
14 years 11 months ago
2008
We propose here an extension of Rice's Theorem to first-order logic, proven by totally elementary means. If P is any property defined over the collection of all first-order t...
ACL
2000
15 years 1 months ago
2000
The definitions of the basic concepts, rules, and constraints of centering theory involve underspecified notions such as `previous utterance', `realization', and `rankin...
ARTMED
2006
14 years 12 months ago
2006
Objective: The objective of this paper is to demonstrate how a formal spatial theory can be used as an important tool for disambiguating the spatial information embodied in biomed...