Sciweavers

1189 search results - page 205 / 238
» The Quotient of an Abstract Interpretation
Sort
View
ICPR
2010
IEEE
13 years 7 months ago
Learning Non-Linear Dynamical Systems by Alignment of Local Linear Models
Abstract—Learning dynamical systems is one of the important problems in many fields. In this paper, we present an algorithm for learning non-linear dynamical systems which works...
Masao Joko, Yoshinobu Kawahara, Takehisa Yairi
DIS
2010
Springer
13 years 7 months ago
ESTATE: Strategy for Exploring Labeled Spatial Datasets Using Association Analysis
Abstract. We propose an association analysis-based strategy for exploration of multi-attribute spatial datasets possessing naturally arising classification. Proposed strategy, EST...
Tomasz F. Stepinski, Josue Salazar, Wei Ding 0003,...
CORR
2008
Springer
130views Education» more  CORR 2008»
13 years 7 months ago
Spectrum Allocation in Two-Tier Networks
Abstract-- Two-tier networks, comprising a conventional cellular network overlaid with shorter range hotspots (e.g. femtocells, distributed antennas, or wired relays), offer an eco...
Vikram Chandrasekhar, Jeffrey G. Andrews
EUROMED
2010
13 years 7 months ago
Interactive Itinerary of Heritage Houses in Beirut: Walking Back to the Future
Abstract. The aim of this project paper is to explore the opportunities and challenges of using ICT in the understanding, representation, preservation, management, interpretation o...
Nada El-Khoury, Giovanni De Paoli
FUIN
2008
107views more  FUIN 2008»
13 years 7 months ago
Nondeterminism in Constructive Z
The abstraction inherent in most specifications and the need to specify nondeterministic programs are two well-known sources of nondeterminism in formal specifications. In this pap...
Hassan Haghighi, Seyed-Hassan Mirian-Hosseinabadi