Sciweavers

15888 search results - page 270 / 3178
» Supporting human-intensive systems
Sort
View
RTAS
1996
IEEE
15 years 11 months ago
Supporting the specification and analysis of timing constraints
Real-time programmers have to deal with the problem of relating timing constraints associated with source code to sequences of machine instructions. This paper describes an enviro...
Lo Ko, Christopher A. Healy, Emily Ratliff, Robert...
MPC
1995
Springer
91views Mathematics» more  MPC 1995»
15 years 10 months ago
A Refinement Relation Supporting the Transition from Unbounded to Bounded Communication Buffers
This paper proposes a refinement relation supporting the transition from unbounded to bounded communication buffers. Employing this refinement relation, a system specification base...
Ketil Stølen
DIWEB
2004
15 years 8 months ago
Supporting Efficient Streaming and Insertion of XML Data in RDBMS
Relational database systems are increasingly used to manage XML documents, especially for data-centric XML. In this paper we present a new approach to efficiently manage document-c...
Timo Böhme, Erhard Rahm
DGO
2003
137views Education» more  DGO 2003»
15 years 8 months ago
Time-Series Data Mining in a Geospatial Decision Support
This paper presents an overview of the motivation for, and the use of time-series data mining in, a Geospatial Decision Support System (GDSS). Our approach is based on a combinati...
Dan Li, Sherri K. Harms, Steve Goddard, William J....
ICPR
2010
IEEE
15 years 7 months ago
Adaptive Incremental Learning with an Ensemble of Support Vector Machines
The incremental updating of classifiers implies that their internal parameter values can vary according to incoming data. As a result, in order to achieve high performance, incre...
Marcelo N. Kapp, Robert Sabourin, Patrick Maupin