Sciweavers

1819 search results - page 205 / 364
» Computability and Representations of the Zero Set
Sort
View
DAC
1994
ACM
15 years 10 months ago
Incorporating Speculative Execution in Exact Control-Dependent Scheduling
- This paper describes a symbolic formulation that allows incorporation of speculative operation execution (preexecution) in an exact control-dependent scheduling of arbitrary forw...
Ivan P. Radivojevic, Forrest Brewer
PODC
2010
ACM
15 years 10 months ago
Brief announcement: tree decomposition for faster concurrent data structures
We show how to partition data structures representable by directed acyclic graphs, i.e. rooted trees, to allow for efficient complex operations, which lie beyond inserts, deletes ...
Johannes Schneider, Roger Wattenhofer
WCNC
2010
IEEE
15 years 10 months ago
Performance of a Cooperative Network Using Rate Adaptation and Cooperative Combining
—The performance of a cooperative network with Cooperative Maximal Ratio Combining (C-MRC) is analyzed. To this end, we propose a heuristic approximation to the total received SN...
Prasanna Kalansuriya, Madushanka Soysa, Chintha Te...
PODC
1995
ACM
15 years 10 months ago
Knowledge-Based Programs
We show how solution concepts in games such as Nash equilibrium, correlated equilibrium, rationalizability, and sequential equilibrium can be given a uniform definition in terms ...
Ronald Fagin, Joseph Y. Halpern, Yoram Moses, Mosh...
ICPR
2010
IEEE
15 years 10 months ago
Multiple-Shot Person Re-Identification by HPE Signature
Abstract--In this paper, we propose a novel appearancebased method for person re-identification, that condenses a set of frames of the same individual into a highly informative sig...
Loris Bazzani, Marco Cristani, Alessandro Perina, ...