Sciweavers

3365 search results - page 87 / 673
» Multidimensional Data Modeling for Complex Data
Sort
View
84
Voted
ESANN
2008
15 years 4 months ago
GeoKernels: modeling of spatial data on geomanifolds
This paper presents a review of methodology for semi-supervised modeling with kernel methods, when the manifold assumption is guaranteed to be satisfied. It concerns environmental ...
Alexei Pozdnoukhov, Mikhail F. Kanevski
149
Voted
ATMOS
2010
183views Optimization» more  ATMOS 2010»
15 years 1 months ago
The Complexity of Integrating Routing Decisions in Public Transportation Models
To model and solve optimization problems arising in public transportation, data about the passengers is necessary and has to be included in the models in any phase of the planning...
Marie Schmidt, Anita Schöbel
107
Voted
IFM
2009
Springer
119views Formal Methods» more  IFM 2009»
15 years 9 months ago
Parallel Processes with Real-Time and Data: The ATLANTIF Intermediate Format
Abstract. To model real-life critical systems, one needs“high-level”languages to express three important concepts: complex data structures, concurrency, and real-time. So far, ...
Jan Stöcker, Frédéric Lang, Hub...
ICSE
2003
IEEE-ACM
15 years 7 months ago
Data Flow Testing as Model Checking
This paper presents a model checking-based approach to data flow testing. We characterize data flow oriented coverage criteria in temporal logic such that the problem of test ge...
Hyoung Seok Hong, Sung Deok Cha, Insup Lee, Oleg S...
104
Voted
WEBI
2004
Springer
15 years 8 months ago
An Integrated Approach to Discovery in Complex Information Spaces
As the amount of available data continues to increase, more and more effective means for discovering important patterns and relationships within that data are required. Although t...
Daryl H. Hepting, Cory J. Butz