2291 search results - page 32 / 459 » Representational Reasoning and Verification |
DIAGRAMS
2004
Springer
14 years 29 days ago
2004
Springer
People sometimes appear to build analogical representations in order to reason about graphical information. In this paper we consider the extent to which the tendency to represent ...
POPL
2010
ACM
14 years 5 months ago
2010
ACM
We introduce higher-order, multi-parameter, tree transducers (HMTTs, for short), which are kinds of higher-order tree transducers that take input trees and output a (possibly infi...
ICIC
2005
Springer
14 years 1 months ago
2005
Springer
In this paper, we propose a novel on-line handwritten signature verification method. Firstly, the pen-position parameters of the on-line signature are decomposed into multiscale si...
SEMWEB
2007
Springer
14 years 1 months ago
2007
Springer
We present an ontology of objects, functions, and generic shape representation that supports form-function reasoning. By reasoning from the mechanical and other functions of object...
CADE
2008
Springer
14 years 7 months ago
2008
Springer
Abstract. Operating-system verification gains increasing research interest. The complexity of such systems is, however, challenging and many endeavors are limited in some respect: ...