1757 search results - page 318 / 352 » Alternating Refinement Relations |
153
Voted
ICDM
2007
IEEE
15 years 4 months ago
2007
IEEE
Model-based declarative queries are becoming an attractive paradigm for interacting with many data stream applications. This has led to the development of techniques to accurately...
115
click to vote
CGO
2004
IEEE
15 years 4 months ago
2004
IEEE
Empirical search is a strategy used during the installation of library generators such as ATLAS, FFTW, and SPIRAL to identify the algorithm or the version of an algorithm that del...
146
Voted
ESAS
2004
Springer
15 years 4 months ago
2004
Springer
Abstract. The fact that security is a critical problem when implementing mobile ad hoc networks (MANETs) is widely acknowledged. One of the different kinds of misbehavior a node ma...
ALT
2003
Springer
15 years 4 months ago
2003
Springer
Abstract. A crucial problem in machine learning is to choose an appropriate representation of data, in a way that emphasizes the relations we are interested in. In many cases this ...
109
click to vote
ISSTA
2010
ACM
15 years 4 months ago
2010
ACM
Recently, there has been much interest in developing analyzes to detect concurrency bugs that arise because of data races, atomicity violations, execution omission, etc. However, ...