Sciweavers

1487 search results - page 62 / 298
» Two Kinds of Metonymy
Sort
View
ENDM
2007
68views more  ENDM 2007»
13 years 7 months ago
Detecting induced subgraphs
An s-graph is a graph with two kind of edges: subdivisible edges and real edges. A realisation of an s-graph B is any graph obtained by subdividing subdivisible edges of B into pa...
Benjamin Lévêque, David Y. Lin, Fr&ea...
ENTCS
2007
92views more  ENTCS 2007»
13 years 7 months ago
A Duality in Proof Systems for Recursive Type Equality and for Bisimulation Equivalence on Cyclic Term Graphs
This paper is concerned with a proof-theoretic observation about two kinds of proof systems for regular cyclic objects. It is presented for the case of two formal systems that are...
Clemens Grabmayer
COGSCI
2004
74views more  COGSCI 2004»
13 years 7 months ago
Feature centrality and property induction
A feature is central to a concept to the extent that other features depend on it. Four studies tested the hypothesis that people will project a feature from a base concept to a ta...
Constantinos Hadjichristidis, Steven A. Sloman, Ro...
CORR
2004
Springer
107views Education» more  CORR 2004»
13 years 7 months ago
Encapsulation for Practical Simplification Procedures
ACL2 was used to prove properties of two simplification procedures. The procedures differ in complexity but solve the same programming problem that arises in the context of a reso...
Olga Shumsky Matlin, William McCune
CORR
2002
Springer
175views Education» more  CORR 2002»
13 years 7 months ago
A continuation semantics of interrogatives that accounts for Baker's ambiguity
Wh-phrases in English have two important properties: first, they can appear both raised and in-situ; second, while in-situ wh-phrases can take semantic scope beyond the immediately...
Chung-chieh Shan