89222 search results - page 30 / 17845 » Which |
ICIC
2007
Springer
14 years 3 months ago
2007
Springer
Humans can easily recognize complex objects even if values of their attributes are imprecise and often inconsistent. It is not clear how the brain processes uncertain visual inform...
RTA
1997
Springer
14 years 1 months ago
1997
Springer
Abstract. We investigate conditions under which con uence and or termination are preserved for constructor-sharing and hierarchical combinations of rewrite systems, one of which is...
AIMSA
1990
Springer
14 years 27 days ago
1990
Springer
A method for processing sentences which contain unknown words, i. e. words for which no lexical entry exists, is presented. There are three different stages of processing:
CIE
2006
Springer
14 years 17 days ago
2006
Springer
Abstract. We see a notion of normal derivation for the calculus of structures, which is based on a factorisation of derivations and which is more general than the traditional notio...
ECCC
2010
13 years 9 months ago
2010
An arithmetic read-once formula (ROF for short) is a formula (a circuit in which the fanout of every gate is at most 1) in which the operations are {+,