88 search results - page 7 / 18 » A Formal Framework for Evaluating Heuristic Programs |
CAV
2012
Springer
12 years 12 months ago
2012
Springer
Abstract. We propose a trace-based concurrent program analysis to soundly remove redundant synchronizations such as locks while preserving the behaviors of the concurrent computati...
SAC
2010
ACM
15 years 4 months ago
2010
ACM
Most mainstream system programming languages provide support for builtin types, and extension mechanisms through userdefined types. They also come with a notion of constant expre...
90
Voted
JASIS
2000
14 years 9 months ago
2000
s In data mining, we emphasize the need for learning from huge, incomplete and imperfect data sets (Fayyad et al. 1996, Frawley et al. 1991, Piatetsky-Shapiro and Frawley, 1991). T...
ICN
2009
Springer
15 years 4 months ago
2009
Springer
Using internet for media-based real-time collaboration has become widespread activity. In this paper, we present a framework called CoUniverse, designed for building realtime user...
ATAL
2010
Springer
14 years 10 months ago
2010
Springer
Decision making is the ability to decide on the best alternative among a set of candidates based on their value. In many real-world domains the value depends on events that occur ...