Sciweavers

2223 search results - page 375 / 445
» Ontological Framework for Approximation
Sort
View
94
Voted
RTSS
2000
IEEE
15 years 5 months ago
An Incremental Approach to Scheduling during Overloads in Real-Time Systems
In this paper we propose a novel scheduling framework for a real-timeenvironmentthat experiences dynamic changes. Thisframework is capable of adjusting the system workload in incr...
Pedro Mejía-Alvarez, Rami G. Melhem, Daniel...
PLDI
2000
ACM
15 years 5 months ago
Functional reactive programming from first principles
Functional Reactive Programming, or FRP, is a general framework for programming hybrid systems in a high-level, declarative manner. The key ideas in FRP are its notions of behavio...
Zhanyong Wan, Paul Hudak
101
Voted
SIGGRAPH
2000
ACM
15 years 5 months ago
Silhouette clipping
Approximating detailed models with coarse, texture-mapped meshes results in polygonal silhouettes. To eliminate this artifact, we introduce silhouette clipping, a framework for ef...
Pedro V. Sander, Xianfeng Gu, Steven J. Gortler, H...
100
Voted
ACSD
1998
IEEE
121views Hardware» more  ACSD 1998»
15 years 5 months ago
Identifying State Coding Conflicts in Asynchronous System Specifications Using Petri Net Unfoldings
State coding conflict detection is a fundamental part of synthesis of asynchronous concurrent systems from their specifications as Signal Transition Graphs (STGs), which are a spe...
Alex Kondratyev, Jordi Cortadella, Michael Kishine...
110
Voted
PKDD
1999
Springer
118views Data Mining» more  PKDD 1999»
15 years 5 months ago
Mining Possibilistic Set-Valued Rules by Generating Prime Disjunctions
We describe the problem of mining possibilistic set-valued rules in large relational tables containing categorical attributes taking a finite number of values. An example of such a...
Alexandr A. Savinov