Sciweavers

4298 search results - page 406 / 860
» Computing at the top of the world
Sort
View
EMSOFT
2008
Springer
15 years 8 months ago
RTComposer: a framework for real-time components with scheduling interfaces
We present a framework for component-based design and scheduling of real-time embedded software. Each component has a clearly specified interface that includes the methods used fo...
Rajeev Alur, Gera Weiss
AAAI
2010
15 years 8 months ago
Dealing with Infinite Loops, Underestimation, and Overestimation of Depth-First Proof-Number Search
Depth-first proof-number search (df-pn) is powerful AND/OR tree search to solve positions in games. However, df-pn has a notorious problem of infinite loops when applied to domain...
Akihiro Kishimoto
APVIS
2010
15 years 8 months ago
Stack zooming for multi-focus interaction in time-series data visualization
Information visualization shows tremendous potential for helping both expert and casual users alike make sense of temporal data, but current time series visualization tools provid...
Waqas Javed, Niklas Elmqvist
APBC
2007
110views Bioinformatics» more  APBC 2007»
15 years 8 months ago
Fast Structural Similarity Search Based on Topology String Matching
ibe an abstract data model of protein structures by representing the geometry of proteins using spatial data types and present a framework for fast structural similarity search bas...
Sung-Hee Park, David Gilbert, Keun Ho Ryu
BCSHCI
2008
15 years 8 months ago
Eunomia: toward a framework for multi-touch information displays in public spaces
Multi-touch interaction techniques are becoming more widespread because of new industrial initiatives to make this hardware available and affordable for the consumer market. To co...
Tom Cuypers, Jan Schneider, Johannes Taelman, Kris...