1201 search results - page 60 / 241 » Exact Analysis of Exact Change |
CACM
2010
13 years 7 months ago
2010
Static program analysis techniques cannot know certain values, such as the value of user input or network state, at analysis time. While such unknown values need to be treated as ...
ICC
2009
IEEE
13 years 5 months ago
2009
IEEE
This paper presents an ergodic capacity analysis of an amplify-and-forward multiple-input, multiple-output two-hop system including the source to destination (direct) link. We firs...
CP
2000
Springer
14 years 2 days ago
2000
Springer
Random Noise and Random Walk algorithms are local search strategies that have been used for the problem of satisfiability testing (SAT). We present a Markov-chain based analysis o...
ICPP
1998
IEEE
13 years 12 months ago
1998
IEEE
This paper presents a new schedulability analysis methodology for distributed hard real-time systems with bursty job arrivals. The schedulability is analyzed by comparing worst-ca...
CIVR
2004
Springer
13 years 11 months ago
2004
Springer
In this paper we discuss the use of knowledge for the analysis and semantic retrieval of video. We follow a fuzzy relational approach to knowledge representation, based on which we...