4403 search results - page 37 / 881 » Galois Theory of Algorithms |
142
click to vote
AIML
2004
15 years 7 months ago
2004
In this paper we give the notion of modularity of a theory and analyze some of its properties, especially for the case of action theories in reasoning about actions. We propose alg...
148
click to vote
TACAS
2009
Springer
16 years 25 days ago
2009
Springer
Abstract. Given a theory T and two formulas A and B jointly unsatisfiable in T , a theory interpolant of A and B is a formula I such that (i) its non-theory symbols are shared by ...
183
click to vote
COMGEO
2002
ACM
15 years 5 months ago
2002
ACM
The goals of this paper are twofold. The first is to present a new sampling theory for curves, based on a new notion of local feature size. The properties of this new feature size...
217
click to vote
JDCTA
2010
15 years 26 days ago
2010
Granular Computing (GrC), a knowledge-oriented computing which covers the theory of fuzzy information granularity, rough set theory, the theory of quotient space and interval comp...
138
click to vote
COLING
2004
15 years 6 months ago
2004
cross-linguistically valid claims about which discourses are easier to process, abstracting away from specific algorithms for anaphora resolution or anaphora generation (although m...