Sciweavers

5624 search results - page 413 / 1125
» On Conditional Covering Problem
Sort
View
225
Voted
EMSOFT
2011
Springer
14 years 6 months ago
Synthesis of optimal switching logic for hybrid systems
Given a multi-modal dynamical system, optimal switching logic synthesis involves generating conditions for switching between the system modes such that the resulting hybrid system...
Susmit Jha, Sanjit A. Seshia, Ashish Tiwari
185
Voted
KDD
2007
ACM
176views Data Mining» more  KDD 2007»
16 years 7 months ago
Mining correlated bursty topic patterns from coordinated text streams
Previous work on text mining has almost exclusively focused on a single stream. However, we often have available multiple text streams indexed by the same set of time points (call...
Xuanhui Wang, ChengXiang Zhai, Xiao Hu, Richard Sp...
179
Voted
CHI
2010
ACM
16 years 1 months ago
Individual models of color differentiation to improve interpretability of information visualization
Color is commonly used to represent categories and values in many computer applications, but differentiating these colors can be difficult in many situations (e.g., for users with...
David R. Flatla, Carl Gutwin
166
Voted
ESWS
2009
Springer
16 years 1 months ago
Evolva: A Comprehensive Approach to Ontology Evolution
Ontology evolution is increasingly gaining momentum in the area of Semantic Web research. Current approaches target the evolution in terms of either content, or change management, ...
Fouad Zablith
KBSE
2007
IEEE
16 years 1 months ago
Direct-dependency-based software compatibility testing
Software compatibility testing is an important quality assurance task aimed at ensuring that component-based software systems build and/or execute properly across a broad range of...
Il-Chul Yoon, Alan Sussman, Atif M. Memon, Adam A....