Sciweavers

7167 search results - page 355 / 1434
» A Technique for Invariant Generation
Sort
View
AAAI
2010
15 years 9 months ago
Conformal Mapping by Computationally Efficient Methods
Dimensionality reduction is the process by which a set of data points in a higher dimensional space are mapped to a lower dimension while maintaining certain properties of these p...
Stefan Pintilie, Ali Ghodsi
FUIN
2006
97views more  FUIN 2006»
15 years 7 months ago
Interactive Systems with Registers and Voices
We present a model and a core programming language appropriate for modeling and programming interactive computing systems. The model consists of rv-systems (interactive systems wit...
Gheorghe Stefanescu
JOT
2006
113views more  JOT 2006»
15 years 7 months ago
Constraint Validation in Model Compilers
Model transformation has become one of the most focused research field, motivated by for instance the OMG's Model-Driven Architecture (MDA). Metamodeling is a central techniq...
László Lengyel, Tihamer Levendovszky...
IS
2007
15 years 7 months ago
Discovering frequent geometric subgraphs
As data mining techniques are being increasingly applied to non-traditional domains, existing approaches for finding frequent itemsets cannot be used as they cannot model the req...
Michihiro Kuramochi, George Karypis
INFORMATICALT
2002
116views more  INFORMATICALT 2002»
15 years 7 months ago
On the Optimization of an Adaptive State Estimation of Dynamic Systems in the Presence of Time-varying Outliers
The problem of recursive estimation of a state of dynamic systems in the presence of time-varying outliers in observations to be processed has been considered. A learning phase use...
Rimantas Pupeikis