3571 search results - page 215 / 715 » Cohen and Set Theory |
174
click to vote
ITP
2010
15 years 10 months ago
2010
Abstract. We present a compiler for definitions made by pattern matching on inductive families in the Coq system. It allows to write structured, recursive dependently-typed functi...
157
click to vote
DAC
1995
ACM
15 years 10 months ago
1995
ACM
––This paper describes algorithms for automatic layout synthesisofleafcellsin1–dandinanew1–1/2–dlayoutstyle,useful for non–dual circuit styles. The graph theory based a...
178
click to vote
CLIMA
2008
15 years 8 months ago
2008
The paper deals with the problem of agents conformance with multiparty protocols. We introduce a notion of conformance of a set of k agents with a multiparty protocol with k roles,...
178
click to vote
ICCE
2007
15 years 8 months ago
2007
: Recently, instructional videos are widely being used in educational settings. Many researches have proposed the construction of video-based learning environments that reflect Cog...
184
click to vote
NIPS
2000
15 years 8 months ago
2000
We use graphical models to explore the question of how people learn simple causal relationships from data. The two leading psychological theories can both be seen as estimating th...