1458 search results - page 148 / 292 » Monads for incremental computing |
136
Voted
SPIRE
2009
Springer
15 years 10 months ago
2009
Springer
To compute Burrows-Wheeler Transform (BWT), one usually builds a suffix array (SA) first, and then obtains BWT using SA, which requires much redundant working space. In previous ...
117
Voted
SMA
2009
ACM
15 years 10 months ago
2009
ACM
We present a new parallel algorithm for interactive and continuous collision detection between deformable models. Our algorithm performs incremental hierarchical computations betw...
114
Voted
ICPR
2008
IEEE
15 years 10 months ago
2008
IEEE
Active set methods for training the Support Vector Machines (SVM) are advantageous since they enable incremental training and, as we show in this research, do not exhibit exponent...
126
Voted
DATE
2007
IEEE
15 years 10 months ago
2007
IEEE
This paper focuses on inductive invariants in unbounded model checking to improve efficiency and scalability. First of all, it introduces optimized techniques to speedup the comp...
141
Voted
IPC
2007
IEEE
15 years 10 months ago
2007
IEEE
Location systems are core technologies for enabling pervasive computing smart spaces. Signal Strength based location estimation offers economical viability and sufficient accurac...