570 search results - page 61 / 114 » The Uniqueness of Changes: Characteristics and Applications |
KDD
2006
ACM
15 years 11 months ago
2006
ACM
Finding patterns of social interaction within a population has wide-ranging applications including: disease modeling, cultural and information transmission, and behavioral ecology...
DATE
2007
IEEE
15 years 5 months ago
2007
IEEE
We propose in this paper an algorithm for off-line selection of the contents of on-chip memories. The algorithm supports two types of on-chip memories, namely locked caches and sc...
103
click to vote
PPPJ
2003
ACM
15 years 4 months ago
2003
ACM
A simple programmable Java platform-independent distributed computation system has been developed to exploit the free resources on computers linked together by a network. It is a ...
GLVLSI
2000
IEEE
15 years 3 months ago
2000
IEEE
Symbolic Model checking is a widely used technique in sequential verification. As the size of the OBDDs and also the computation time depends on the order of the input variables,...
100
click to vote
BPM
2008
Springer
15 years 29 days ago
2008
Springer
This paper describes an approach for reasoning about the repairability of workflows at design time. We propose a heuristic-based analysis of a workflow that aims at evaluating its ...