Sciweavers

7921 search results - page 1397 / 1585
» LSH-preserving functions and their applications
Sort
View
AH
2008
Springer
16 years 26 days ago
A Validation Framework for Formal Models in Adaptive Work-Integrated Learning
The focus of my thesis is on the development of a multi-method framework for the validation of formal models (domain model, user model, and teaching model) for adaptive work-integr...
Barbara Kump
DASFAA
2007
IEEE
150views Database» more  DASFAA 2007»
16 years 25 days ago
TinTO: A Tool for the View-Based Analysis of Streams of Stock Market Data
TinTO is an experimental system aiming at demonstrating the usefulness and feasibility of applying conventional SQL queries for analyzing a wide spectrum of data streams. As applic...
Andreas Behrend, Christian Dorau, Rainer Manthey
ICSM
2007
IEEE
16 years 24 days ago
A Maintainable Software Architecture for Fast and Modular Bioinformatics Sequence Search
Bioinformaticists use the Basic Local Alignment Search Tool (BLAST) to characterize an unknown sequence by comparing it against a database of known sequences, thus detecting evolu...
Jeremy S. Archuleta, Eli Tilevich, Wu-chun Feng
IPPS
2007
IEEE
16 years 24 days ago
Optimal Assignment of a Tree-Structured Context Reasoning Procedure onto a Host-Satellites System
In this paper, we study the problem of an optimal assignment of a tree-structured context reasoning procedure onto the computation resources in a hostsatellites configuration. The...
Hailiang Mei, Pravin Pawar, Ing Widya
SACI
2007
IEEE
16 years 23 days ago
Geometric Theory and Control of Linear Parameter Varying Systems
: Linear Parameter Varying(LPV) systems appear in a form of LTI state space representations where the elements of the A(ρ), B(ρ), C(ρ) matrices can depend on an unknown but at a...
Jozsef Bokor
« Prev « First page 1397 / 1585 Last » Next »