324 search results - page 16 / 65 » Towards a type theory of contexts |
TYPES
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. We propose syntax and semantics for systems of intuitionistic and classical first order dependently sorted logic, with and withlity, retaining type dependency, but other...
DATESO
2008
13 years 9 months ago
2008
Abstract In recent years, many approaches to indexing XML data have appeared. These approaches attempt to process XML queries efficiently and sufficient query plans are built for t...
IJCNLP
2005
Springer
14 years 1 months ago
2005
Springer
This paper proposes a chunking strategy to detect unknown words in Chinese word segmentation. First, a raw sentence is pre-segmented into a sequence of word atoms 1 using a maximum...
HICSS
2009
IEEE
14 years 2 months ago
2009
IEEE
Research has identified the potential and challenges of information sharing in government settings mostly within the context of a single country. The challenges facing inter-gover...
NOMS
2010
IEEE
13 years 5 months ago
2010
IEEE
The trend for future mobile networks is to move away from Network Elements (NEs) delivered with specially tailored configurations towards off-the-shelf products. The configurations...