Sciweavers

63 search results - page 12 / 13
» Computing iceberg concept lattices with T
Sort
View
HYBRID
2010
Springer
13 years 11 months ago
Automatic invariant generation for hybrid systems using ideal fixed points
We present computational techniques for automatically generating algebraic (polynomial equality) invariants for algebraic hybrid systems. Such systems involve ordinary differentia...
Sriram Sankaranarayanan
SAC
2002
ACM
13 years 4 months ago
Statistical properties of the simulated time horizon in conservative parallel discrete-event simulations
We investigate the universal characteristics of the simulated time horizon of the basic conservative parallel algorithm when implemented on regular lattices. This technique [1, 2]...
G. Korniss, M. A. Novotny, A. K. Kolakowska, H. Gu...
CC
2004
Springer
115views System Software» more  CC 2004»
13 years 10 months ago
Periodic Polyhedra
This paper presents a new method for computing the integer hull of a parameterized rational polyhedron by introducing the concept of periodic polyhedron. Besides concerning general...
Benoît Meister
ISCI
2008
67views more  ISCI 2008»
13 years 5 months ago
A multiview approach for intelligent data analysis based on data operators
Multiview intelligent data analysis explores data from different perspectives to reveal various types of structures and knowledge embedded in the data. Each view may capture a spe...
Yaohua Chen, Yiyu Yao
CORR
2007
Springer
131views Education» more  CORR 2007»
13 years 5 months ago
How to use the Scuba Diving metaphor to solve problem with neutrality ?
Abstract. We proposed a new search heuristic using the scuba diving metaphor. This approach is based on the concept of evolvability and tends to exploit neutrality which exists in ...
Philippe Collard, Sébastien Vérel, M...