Sciweavers

2696 search results - page 265 / 540
» Semantic Abstraction and Anaphora
Sort
View
GISCIENCE
2004
Springer
101views GIS» more  GISCIENCE 2004»
15 years 12 months ago
Modeling Surface Hydrology Concepts with Endurance and Perdurance
Abstract. Integration of GIS and hydrologic models has been a common approach for monitoring our ever-changing hydrologic system. One important issue in adapting such an approach i...
Chen-Chieh Feng, Thomas Bittner, Douglas M. Flewel...
IJCNLP
2004
Springer
15 years 12 months ago
A Study of Semi-discrete Matrix Decomposition for LSI in Automated Text Categorization
Abstract. This paper proposes the use of Latent Semantic Indexing (LSI) techniques, decomposed with semi-discrete matrix decomposition (SDD) method, for text categorization. The SD...
Qiang Wang, Xiaolong Wang, Guan Yi
INFOCOM
2003
IEEE
15 years 12 months ago
Spectral Analysis of Internet Topologies
Abstract— We perform spectral analysis of the Internet topology at the AS level, by adapting the standard spectral filtering method of examining the eigenvectors corresponding t...
Christos Gkantsidis, Milena Mihail, Ellen W. Zegur...
LICS
2003
IEEE
15 years 12 months ago
Reasoning about Hierarchical Storage
In this paper, we develop a new substructural logic that can encode invariants necessary for reasoning about hierarchical storage. We show how the logic can be used to describe th...
Amal J. Ahmed, Limin Jia, David Walker
TLDI
2003
ACM
110views Formal Methods» more  TLDI 2003»
15 years 12 months ago
Type-safe multithreading in cyclone
We extend Cyclone, a type-safe polymorphic language at vel of abstraction, with threads and locks. Data races can violate type safety in Cyclone. An extended type system staticall...
Dan Grossman