2086 search results - page 303 / 418 » Mathematical Theory Exploration |
ACL
2004
13 years 9 months ago
2004
We explore the descriptive power, in terms of syntactic phenomena, of a formalism that extends TreeAdjoining Grammar (TAG) by adding a fourth level of hierarchical decomposition t...
ICAD
2004
13 years 9 months ago
2004
This paper provides a summary of previous work done in the area of external auditory representations of programs (known as program auralisation). A brief historical review is give...
ECIS
2003
13 years 9 months ago
2003
Many knowledge management (KM) systems have proven unsustainable to date, exhibiting low quantities and quality of knowledge, with systems falling into disuse. In this paper, we p...
SODA
2001
ACM
13 years 9 months ago
2001
ACM
We explore the natural question of whether all NP-complete problems have a common restriction under which they are polynomially solvable. More precisely, we study what languages a...
WM
2003
13 years 9 months ago
2003
Techniques for computation on generalized diagrams are defined and the KM implications are explored. Descriptive Computing is presented and plan computation based on world models t...