Sciweavers

2913 search results - page 281 / 583
» How Much to Copy
Sort
View
AML
2005
65views more  AML 2005»
15 years 4 months ago
Axiomatization of local-global principles for pp-formulas in spaces of orderings
es of orderings (an abstract version of real spectras of formally real fields), for which they are expressed as local-global principles: A property of quadratic forms (expressed as...
Vincent Astier, Marcus Tressl
JCP
2007
92views more  JCP 2007»
15 years 4 months ago
Lifelong Learning, Empirical Modelling and the Promises of Constructivism
—Educational technology is seen as key for lifelong learning, but it has yet to live up to expectation. We argue that current learning environments are typically oriented too muc...
Meurig Beynon, Antony Harfield
CCR
2005
115views more  CCR 2005»
15 years 4 months ago
Experiences from the SIGCOMM 2005 European shadow PC experiment
This note is an informal report about the Shadow Program Committee experiment that I organized for Sigcomm 2005. It (i) discusses the motivation for a Shadow Program Committee (PC...
Anja Feldmann
TROB
2008
140views more  TROB 2008»
15 years 4 months ago
Analysis of Humanoid Appearances in Human-Robot Interaction
- It is important to identify how much the appearance of a humanoid robot affects human behaviors toward it. We compared participants' impressions of and behaviors toward two ...
Takayuki Kanda, Takahiro Miyashita, Taku Osada, Yu...
BSL
2004
49views more  BSL 2004»
15 years 3 months ago
Predicative fragments of Frege Arithmetic
Frege Arithmetic (FA) is the second-order theory whose sole non-logical axiom is Hume's Principle, which says that the number of Fs is identical to the number of Gs if and on...
Øystein Linnebo