15792 search results - page 2789 / 3159 » Computational Abstraction Steps |
164
click to vote
LACL
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. The principle of compositionality, as standardly defined, regards grammars as compositional that are not compositional in an intuitive sense of the word. There is, for ex...
176
click to vote
WWCA
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. Recently, component-based application developments to improve the software productivity and reusability have attracted our attention. The components are parts for buildin...
135
click to vote
LICS
1997
IEEE
15 years 11 months ago
1997
IEEE
Abstract. We prove that ground reducibility is EXPTIME-complete in the general case. EXPTIME-hardness is proved by encoding the emptiness problem for the intersection of recognizab...
202
click to vote
COMPGEOM
1997
ACM
15 years 11 months ago
1997
ACM
Abstract. In the context of methodologies intended to confer robustness to geometric algorithms, we elaborate on the exact-computation paradigm and formalize the notion of degree o...
253
click to vote
ATAL
1997
Springer
15 years 11 months ago
1997
Springer
Abstract. Just as cooperation in multi-agent systems is a central issue for solving complex tasks, so too is the ability for an intelligent agent to reason about combined knowledge...