2128 search results - page 26 / 426 » A general characterization of indulgence |
DAC
2004
ACM
14 years 12 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...
ACSD
2007
IEEE
14 years 5 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
14 years 11 days 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...
DAM
2011
13 years 5 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 ...
CVPR
2004
IEEE
15 years 28 days 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...