4686 search results - page 61 / 938 » Time-lagged Directed Information |
122
click to vote
CAV
2010
Springer
15 years 8 months ago
2010
Springer
We present the algorithms used in MCVETO (Machine-Code VErification TOol), a tool to check whether a stripped machinecode program satisfies a safety property. The verification p...
127
click to vote
IWMM
2000
Springer
15 years 8 months ago
2000
Springer
Many garbage-collected systems use a single garbage collection algorithm across all applications. It has long been known that this can produce poor performance on applications for...
124
Voted
HVEI
2010
15 years 6 months ago
2010
When evaluating the surface appearance of real objects, observers engage in complex behaviors involving active manipulation and dynamic viewpoint changes that allow them to observ...
157
Voted
ICASSP
2011
IEEE
14 years 8 months ago
2011
IEEE
Electrical Vehicles are gaining increasing attention, due to the opportunities and challenges they present for the energy market. On the one hand, they will allow to drastically r...
116
click to vote
AMC
2008
15 years 4 months ago
2008
This paper introduces a general framework for defining the entropy of a graph. Our definition is based on a local information graph and on information functionals derived from the...