Sciweavers

8600 search results - page 398 / 1720
» Measuring with Timed Patterns
Sort
View
CIARP
2008
Springer
15 years 6 months ago
Calculating the Number of Tunnels
This report1 considers 2-regions of grid cubes and proposes an algorithm for calculating the number of tunnels of such a region. The graph-theoretical algorithm proceeds layer by l...
Fajie Li, Reinhard Klette
ASUNAM
2010
IEEE
15 years 6 months ago
Rhythm and Randomness in Human Contact
There is substantial interest in the effect of human mobility patterns on opportunistic communications. Inspired by recent work revisiting some of the early evidence for a L
Mervyn P. Freeman, Nicholas W. Watkins, Eiko Yonek...
ENTCS
2010
104views more  ENTCS 2010»
15 years 4 months ago
Tableau Tool for Testing Satisfiability in LTL: Implementation and Experimental Analysis
We report on the implementation and experimental analysis of an incremental multi-pass tableau-based procedure `a la Wolper for testing satisfiability in the linear time temporal ...
Valentin Goranko, Angelo Kyrilov, Dmitry Shkatov
TNN
2010
132views Management» more  TNN 2010»
14 years 11 months ago
IPADE: Iterative Prototype Adjustment for Nearest Neighbor Classification
Nearest prototype methods are a successful trend of many pattern classification tasks. However, they present several shortcomings such as time response, noise sensitivity, and Manu...
Isaac Triguero, Salvador García, Francisco ...
KDD
2005
ACM
160views Data Mining» more  KDD 2005»
16 years 4 months ago
Optimizing time series discretization for knowledge discovery
Knowledge Discovery in time series usually requires symbolic time series. Many discretization methods that convert numeric time series to symbolic time series ignore the temporal ...
Alfred Ultsch, Fabian Mörchen