Sciweavers

1458 search results - page 144 / 292
» Monads for incremental computing
Sort
View
143
Voted
FPGA
2008
ACM
163views FPGA» more  FPGA 2008»
15 years 5 months ago
TORCH: a design tool for routing channel segmentation in FPGAs
A design tool for routing channel segmentation in islandstyle FPGAs is presented. Given the FPGA architecture parameters and a set of benchmark designs, the tool optimizes routing...
Mingjie Lin, Abbas El Gamal
127
Voted
FMOODS
2003
15 years 4 months ago
Inheritance of Temporal Logic Properties
Abstract. Inheritance is one of the key features for the success of objectoriented languages. Inheritance (or specialisation) supports incremental design and re-use of already writ...
Heike Wehrheim
155
Voted
AUTOMATICA
2008
154views more  AUTOMATICA 2008»
15 years 3 months ago
Approximately bisimilar symbolic models for nonlinear control systems
Control systems are usually modeled by differential equations describing how physical phenomena can be influenced by certain control parameters or inputs. Although these models ar...
Giordano Pola, Antoine Girard, Paulo Tabuada
136
Voted
IS
2008
15 years 3 months ago
Continuous subspace clustering in streaming time series
Performing data mining tasks in streaming data is considered a challenging research direction, due to the continuous data evolution. In this work, we focus on the problem of clust...
Maria Kontaki, Apostolos N. Papadopoulos, Yannis M...
150
Voted
TKDE
2008
158views more  TKDE 2008»
15 years 3 months ago
Hierarchical Clustering of Time-Series Data Streams
This paper presents a time series whole clustering system that incrementally constructs a tree-like hierarchy of clusters, using a top-down strategy. The Online Divisive-Agglomera...
Pedro Pereira Rodrigues, João Gama, Jo&atil...