Sciweavers

122 search results - page 18 / 25
» Using conditional transformations for semantic user interfac...
Sort
View
PKDD
2001
Springer
185views Data Mining» more  PKDD 2001»
15 years 1 months ago
Temporal Rule Discovery for Time-Series Satellite Images and Integration with RDB
Feature extraction and knowledge discovery from a large amount of image data such as remote sensing images have become highly required recent years. In this study, a framework for ...
Rie Honda, Osamu Konishi
BMCBI
2005
94views more  BMCBI 2005»
14 years 9 months ago
Workflows in bioinformatics: meta-analysis and prototype implementation of a workflow generator
Background: Computational methods for problem solving need to interleave information access and algorithm execution in a problem-specific workflow. The structures of these workflo...
Alexander García Castro, Samuel Thoraval, L...
CHI
2011
ACM
14 years 1 months ago
Surfpad: riding towards targets on a squeeze film effect
We present Surfpad, a pointing facilitation technique that does not decrease target distance or increase target width in either control or display space. This new technique operat...
Géry Casiez, Nicolas Roussel, Romuald Vanbe...
79
Voted
RTA
2009
Springer
15 years 4 months ago
VMTL-A Modular Termination Laboratory
Abstract. The automated analysis of termination of term rewriting systems (TRSs) has drawn a lot of attention in the scientific community during the last decades and many differe...
Felix Schernhammer, Bernhard Gramlich
ENTCS
2006
155views more  ENTCS 2006»
14 years 9 months ago
Mathematical Service Trading Based on Equational Matching
Mathematical software libraries provide many computational services. Mathematical operators properties can be used to combine several services in order to provide more complex one...
Aurélie Hurault, Marc Pantel