3819 search results - page 730 / 764 » Predicting Dependability by Testing |
164
Voted
ICFP
2001
ACM
16 years 2 months ago
2001
ACM
The CIL compiler for core Standard ML compiles whole ML programs using a novel typed intermediate language that supports the generation of type-safe customized data representation...
104
Voted
MOBISYS
2003
ACM
16 years 2 months ago
2003
ACM
Wireless transmission of a bit can require over 1000 times more energy than a single 32-bit computation. It would therefore seem desirable to perform significant computation to re...
178
Voted
ECCV
2008
Springer
16 years 26 days ago
2008
Springer
There are many local and greedy algorithms for energy minimization over Markov Random Field (MRF) such as iterated condition mode (ICM) and various gradient descent methods. Local ...
143
Voted
ICDT
2010
ACM
15 years 12 months ago
2010
ACM
The work reported here lays the foundations of data exchange in the presence of probabilistic data. This requires rethinking the very basic concepts of traditional data exchange, ...
124
Voted
SDM
2009
SIAM
15 years 11 months ago
2009
SIAM
The primary constraint in the effective mining of data streams is the large volume of data which must be processed in real time. In many cases, it is desirable to store a summary...