Sciweavers

4250 search results - page 243 / 850
» Understanding the Requirements on Modelling Techniques
Sort
View
84
Voted
UIST
1993
ACM
15 years 4 months ago
A Graphics Toolkit Based on Differential Constraints
This paper describes Bramble, a toolkit for constructing graphical editing applications. The primary focus of Bramble is improve support for graphical manipulation by employing di...
Michael Gleicher
PRDC
2007
IEEE
15 years 7 months ago
Improving Dependability Using Shared Supplementary Memory and Opportunistic Micro Rejuvenation in Multi-tasking Embedded Systems
We propose a comprehensive solution to handle memory-overflow problems in multitasking embedded systems thereby improving their reliability and availability. In particular, we pro...
Vinaitheerthan Sundaram, Sandip HomChaudhuri, Sach...
103
Voted
SDM
2009
SIAM
208views Data Mining» more  SDM 2009»
15 years 10 months ago
Topic Evolution in a Stream of Documents.
Document collections evolve over time, new topics emerge and old ones decline. At the same time, the terminology evolves as well. Much literature is devoted to topic evolution in ...
Alexander Hinneburg, Andrè Gohr, Myra Spili...
MLDM
2007
Springer
15 years 6 months ago
Discovering Plausible Explanations of Carcinogenecity in Chemical Compounds
Abstract. The goal of predictive toxicology is the automatic construction of carcinogenecity models. Most common artificial intelligence techniques used to construct these models ...
Eva Armengol
90
Voted
HYBRID
2005
Springer
15 years 6 months ago
Operational Semantics of Hybrid Systems
This paper discusses an interpretation of hybrid systems as executable models. A specification of a hybrid system for this purpose can be viewed as a program in a domain-specific...
Edward A. Lee, Haiyang Zheng