Sciweavers

2498 search results - page 323 / 500
» A tool for materials exploration
Sort
View
OTM
2010
Springer
15 years 5 months ago
Identifying and Eliminating Inconsistencies in Mappings across Hierarchical Ontologies
Abstract. Many applications require the establishment of mappings between ontologies. Such mappings are established by domain experts or automated tools. Errors in mappings can int...
Bhavesh Sanghvi, Neeraj Koul, Vasant Honavar
PTS
2010
147views Hardware» more  PTS 2010»
15 years 5 months ago
FloPSy - Search-Based Floating Point Constraint Solving for Symbolic Execution
Recently there has been an upsurge of interest in both, Search– Based Software Testing (SBST), and Dynamic Symbolic Execution (DSE). Each of these two approaches has complementar...
Kiran Lakhotia, Nikolai Tillmann, Mark Harman, Jon...
FECS
2010
199views Education» more  FECS 2010»
15 years 4 months ago
Algoritharium: Facilitating an Early Focus on Algorithms in an Objects-Early CS1 Course
Introducing large-scale problems early in the CS1 course has been shown to be an effective way to teach algorithmic concepts. Adopting this approach in a CS1 course taught in Java,...
Sridhar Narayan, Jack Tompkins, Gene A. Tagliarini
ICMI
2010
Springer
196views Biometrics» more  ICMI 2010»
15 years 4 months ago
Component-based high fidelity interactive prototyping of post-WIMP interactions
In order to support interactive high-fidelity prototyping of postWIMP user interactions, we propose a multi-fidelity design method based on a unifying component-based model and su...
Jean-Yves Lionel Lawson, Mathieu Coterot, Cyril Ca...
IPAW
2010
15 years 4 months ago
StarFlow: A Script-Centric Data Analysis Environment
We introduce StarFlow, a script-centric environment for data analysis. StarFlow has four main features: (1) extraction of control and data-flow dependencies through a novel combina...
Elaine Angelino, Daniel Yamins, Margo I. Seltzer