Sciweavers

311 search results - page 47 / 63
» A Constructive-Fuzzy System Modeling for Time Series Forecas...
Sort
View
JMLR
2012
11 years 10 months ago
Maximum Margin Temporal Clustering
Temporal Clustering (TC) refers to the factorization of multiple time series into a set of non-overlapping segments that belong to k temporal clusters. Existing methods based on e...
Minh Hoai Nguyen, Fernando De la Torre
RE
2001
Springer
13 years 12 months ago
Events and Constraints: A Graphical Editor for Capturing Logic Requirements of Programs
A logic model checker can be an effective tool for debugging software applications. A stumbling block can be that model checking tools expect the user to supply a formal statement...
Margaret H. Smith, Gerard J. Holzmann, Kousha Etes...
CISIS
2010
IEEE
14 years 25 days ago
Resilient Critical Infrastructure Management Using Service Oriented Architecture
—The SERSCIS project aims to support the use of interconnected systems of services in Critical Infrastructure (CI) applications. The problem of system interconnectedness is aptly...
Martin Hall-May, Mike Surridge
EUROMICRO
2004
IEEE
13 years 11 months ago
Melisa - A Distributed Multimedia System for Multi-Platform Interactive Sports Content Broadcasting
The new generation of television viewers is currently being confronted and becoming acquainted with a series of technological developments in the realm of consumer electronics and...
Emmanuel Papaioannou, Vasilis Karagianis, Kostas K...
SIGMETRICS
2003
ACM
115views Hardware» more  SIGMETRICS 2003»
14 years 23 days ago
Dynamic resource allocation for shared data centers using online measurements
Since web workloads are known to vary dynamically with time, in this paper, we argue that dynamic resource allocation techniques are necessary to provide guarantees to web applicat...
Abhishek Chandra, Weibo Gong, Prashant J. Shenoy