1283 search results - page 174 / 257 » Science: the rules of the game |
151
click to vote
SIGPRO
2002
15 years 6 months ago
2002
In this paper, we investigate applicability of statistical techniques for defect detection in radiographic images of welds. The defect detection procedure consists in a statistica...
169
click to vote
TLCA
2007
Springer
16 years 12 days ago
2007
Springer
The lambda-Pi-calculus allows to express proofs of minimal predicate logic. It can be extended, in a very simple way, by adding computation rules. This leads to the lambda-Pi-calcu...
152
click to vote
RTA
2005
Springer
15 years 11 months ago
2005
Springer
Proofs of equalities may be built from assumptions using proof rules for reflexivity, symmetry, and transitivity. Reflexivity is an axiom proving x=x for any x; symmetry is a 1-p...
143
click to vote
CHI
2010
ACM
16 years 24 days ago
2010
ACM
This paper describes the design and initial evaluation of Tag-liatelle, a collaborative tagging application for encouraging healthier eating. Users photograph their own meals and ...
152
click to vote
DIGITEL
2007
IEEE
16 years 19 days ago
2007
IEEE
This paper presents a multi-component; distributed system (MuDiS) based solution for building a virtual learning environment which combines a wide range of technology, tools and d...