Sciweavers

1413 search results - page 112 / 283
» ideas 2007
Sort
View
ICFEM
2007
Springer
15 years 10 months ago
Machine-Assisted Proof Support for Validation Beyond Simulink
Simulink is popular in industry for modeling and simulating embedded systems. It is deficient to handle requirements of high-level assurance and timing analysis. Previously, we sh...
Chunqing Chen, Jin Song Dong, Jun Sun 0001
ICIAR
2007
Springer
15 years 10 months ago
Solving the Inverse Problem of Image Zooming Using "Self-Examples"
Abstract. In this paper we present a novel single-frame image zooming technique based on so-called “self-examples”. Our method combines the ideas of fractal-based image zooming...
Mehran Ebrahimi, Edward R. Vrscay
IESS
2007
Springer
110views Hardware» more  IESS 2007»
15 years 10 months ago
Run-Time efficient Feasibility Analysis of Uni-Processor Systems with Static Priorities
: The performance of feasibility tests is crucial in many applications. When using feasibility tests online only a limited amount of analysis time is available. Run-time efficiency...
Karsten Albers, Frank Bodmann, Frank Slomka
IFIP
2007
Springer
15 years 10 months ago
Towards UML-Intensive Framework for Model-Driven Development
The paper describes a conceptual framework for model-driven development based on concise application of UML and modeling tool functionality. A case study of modeling software for l...
Darius Silingas, Ruslanas Vitiutinas
INCDM
2007
Springer
97views Data Mining» more  INCDM 2007»
15 years 10 months ago
Clustering by Random Projections
Abstract. Clustering algorithms for multidimensional numerical data must overcome special difficulties due to the irregularities of data distribution. We present a clustering algo...
Thierry Urruty, Chabane Djeraba, Dan A. Simovici