Sciweavers

689 search results - page 26 / 138
» Encapsulation theory fundamentals
Sort
View
IPM
2006
132views more  IPM 2006»
13 years 8 months ago
A framework for understanding Latent Semantic Indexing (LSI) performance
In this paper we present a theoretical model for understanding the performance of Latent Semantic Indexing (LSI) search and retrieval applications. Many models for understanding L...
April Kontostathis, William M. Pottenger
JLP
2006
126views more  JLP 2006»
13 years 8 months ago
Compositional modeling and refinement for hierarchical hybrid systems
In this paper, we develop a theory of modular design and refinement of hierarchical hybrid systems. In particular, we present compositional trace-based semantics for the language ...
Rajeev Alur, Radu Grosu, Insup Lee, Oleg Sokolsky
TGIS
2002
137views more  TGIS 2002»
13 years 8 months ago
Spatio-Temporal Object-Oriented Data Model for Disaggregate Travel Behavior
The research field of transportation demand forecasting has started to focus on disaggregate travel behavior and micro-simulation models. To create data infrastructure, disaggrega...
Ali Frihida, Danielle J. Marceau, Marius Thé...
CPHYSICS
2007
84views more  CPHYSICS 2007»
13 years 8 months ago
Materials simulations using VASP - a quantum perspective to materials science
The fundamental aspects of ab-initio simulations of materials properties and of processes in materials based on density-functional theory, and their implementation at various leve...
Jürgen Hafner
ENTCS
2002
112views more  ENTCS 2002»
13 years 8 months ago
Ambient Calculus and its Logic in the Calculus of Inductive Constructions
The Ambient Calculus has been recently proposed as a model of mobility of agents in a dynamically changing hierarchy of domains. In this paper, we describe the implementation of t...
Ivan Scagnetto, Marino Miculan