2920 search results - page 246 / 584 » Finite information logic |
150
click to vote
DELTA
2010
IEEE
15 years 11 months ago
2010
IEEE
—Image super-resolution is generally regarded as consisting of three steps – image registration, fusion, and deblurring. This paper presents a novel technique for resampling a ...
166
click to vote
ICALP
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. We study entailment of structural and nonstructural recursive subtyping constraints. Constraints are formal inequalities between type expressions, interpreted over an ord...
183
click to vote
JSAC
2008
15 years 6 months ago
2008
Given an arbitrary network of interconnected nodes, we develop and analyze a distributed strategy that enables a subset of the nodes to calculate any given function of the node val...
186
click to vote
TOPNOC
2008
15 years 6 months ago
2008
The key to efficient on-the-fly reachability analysis based on unfolding is to focus the expansion of the finite prefix towards the desired marking. However, current unfolding stra...
174
click to vote
ACSD
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract--Safety properties are an important class of properties as in the industrial use of model checking a large majority of the properties to be checked are safety properties. ...