Sciweavers

1188 search results - page 131 / 238
» Modeling synchronized time series
Sort
View
94
Voted
FMOODS
2000
15 years 2 months ago
Requirements Level Semantics for UML Statecharts
We propose a formal real-time semantics for UML statecharts aimed at the requirements level. A requirements-level model assumes perfect technology and has a considerably simpler se...
Rik Eshuis, Roel Wieringa
113
Voted
HPCC
2007
Springer
15 years 7 months ago
A Data Imputation Model in Sensor Databases
Data missing is a common problem in database query processing, which can cause bias or lead to inefficient analyses, and this problem happens more often in sensor databases. The re...
Nan Jiang
SSS
2005
Springer
119views Control Systems» more  SSS 2005»
15 years 6 months ago
Self-stabilization of Byzantine Protocols
Awareness of the need for robustness in distributed systems increases as distributed systems become integral parts of day-to-day systems. Self-stabilizing while tolerating ongoing ...
Ariel Daliot, Danny Dolev
TCAD
2002
146views more  TCAD 2002»
15 years 13 days ago
Static scheduling of multidomain circuits for fast functional verification
With the advent of system-on-a-chip design, many application specific integrated circuits (ASICs) now require multiple design clocks that operate asynchronously to each other. This...
Murali Kudlugi, Russell Tessier
74
Voted
ICONIP
2008
15 years 2 months ago
On Similarity Measures for Spike Trains
A variety of (dis)similarity measures for one-dimensional point processes (e.g., spike trains) are investigated, including the Victor-Purpura distance metric, the van Rossum distan...
Justin Dauwels, François B. Vialatte, Theop...