933 search results - page 80 / 187 » Extending Forward Checking |
68
Voted
JIRS
2007
15 years 20 days ago
2007
The decentralized navigation function methodology, established in our previous work for navigation of multiple holonomic agents with global sensing capabilities is extended to the...
89
Voted
ACTA
2002
15 years 19 days ago
2002
Object type constructors have been introduced as an approach to adding container object types to a language with type inference. Useful subtyping for object type constructors requ...
95
Voted
CORR
2010
Springer
14 years 9 months ago
2010
Springer
Abstract. Operator precedence grammars define a classical Boolean and deterministic context-free family (called Floyd languages or FLs). FLs have been shown to strictly include the...
114
click to vote
ICASSP
2011
IEEE
14 years 4 months ago
2011
IEEE
In this paper, a structural similarity index is first proposed for two images with possibly different dynamic ranges and intensities as well as possibly small rotation and transl...
91
Voted
SAS
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. The capability calculus is a framework for statically reasoning about program resources such as deallocatable memory regions. Fractional capabilities, originally proposed...