12115 search results - page 2413 / 2423 » Bisimulation of Dynamical Systems |
118
click to vote
JUCS
2010
15 years 8 days ago
2010
Abstract: Most of ambient intelligence studies have tried to employ inductive methods (e.g., data mining) to discover useful information and patterns from data streams on sensor ne...
154
Voted
KBSE
2010
IEEE
15 years 8 days ago
2010
IEEE
Software testing has been commonly used in assuring the quality of database applications. It is often prohibitively expensive to manually write quality tests for complex database ...
148
click to vote
ML
2010
ACM
15 years 8 days ago
2010
ACM
We propose two fast algorithms for abrupt change detection in streaming data that can operate on arbitrary unknown data distributions before and after the change. The first algor...
111
Voted
OOPSLA
2010
Springer
15 years 8 days ago
2010
Springer
Programming forums are becoming the primary tools for programmers to find answers for their programming problems. Our empirical study of popular programming forums shows that the...
139
Voted
PPOPP
2010
ACM
15 years 7 days ago
2010
ACM
Many programs exploit shared-memory parallelism using multithreading. Threaded codes typically use locks to coordinate access to shared data. In many cases, contention for locks r...