Sciweavers

1419 search results - page 53 / 284
» Notes on Formalizing Context
Sort
View
ACL
1997
15 years 1 months ago
Approximating Context-Free Grammars with a Finite-State Calculus
Although adequate models of human language for syntactic analysis and semantic interpretation are of at least contextfree complexity, for applications such as speech processing in...
Edmund Grimley-Evans
90
Voted
CLIMA
2004
15 years 2 months ago
Contextual Taxonomies
Abstract. We provide a formal characterization of a notion of contextual taxonomy, that is to say, a taxonomy holding only with respect to a specific context. To this aim, a new pr...
Davide Grossi, Frank Dignum, John-Jules Ch. Meyer
TIME
1994
IEEE
15 years 4 months ago
Hypothetical Reasoning from Situation Calculus to Event Calculus
Pinto and Reiter have argued that the Situation Calculus, improved with time handling axioms, subsumes the features of linear time temporal formalisms such as Event Calculus and I...
Alessandro Provetti
SEMWIKI
2008
129views Data Mining» more  SEMWIKI 2008»
15 years 2 months ago
Hypertext Knowledge Workbench
This paper presents a tool for semantic personal knowledge management called Hypertext Knowledge Workbench (HKW), an editor and browser for semantic personal knowledge models. The ...
Max Völkel
ANOR
2007
80views more  ANOR 2007»
15 years 21 days ago
Branch and bound, integer, and non-integer programming
In this note we review the development of the first commercial branch and bound codes at CEIR/Scicon, with particular emphasis on those features not commonly emphasized today - t...
John J. H. Forrest, John A. Tomlin