2128 search results - page 26 / 426 » A general characterization of indulgence |
49
Voted
DAC
2004
ACM
16 years 1 months ago
2004
ACM
This paper describes a strategy for verifying data-hazard correctness of out-of-order processors that implement register-renaming. We define a set of predicates to characterize re...
91
Voted
ACSD
2007
IEEE
15 years 6 months ago
2007
IEEE
In this paper we introduce executions of place/transition Petri nets with weighted inhibitor arcs (PTI-net) as enabled labeled stratified order structures (LSOs) and present a po...
DLT
2008
15 years 1 months ago
2008
Abstract. In a recent paper with L. Q. Zamboni the authors introduced the class of -episturmian words, where is an involutory antimorphism of the free monoid A . In this paper, we...
115
click to vote
DAM
2011
14 years 7 months ago
2011
In 1988, Golumbic and Hammer characterized powers of cycles, relating them to circular-arc graphs. We extend their results and propose several further structural characterizations ...
98
Voted
CVPR
2004
IEEE
16 years 2 months ago
2004
IEEE
We present a general framework for characterizing the object identity in a single image or a group of images with each image containing a transformed version of the object, with a...