5510 search results - page 232 / 1102 » Mathematics |
161
click to vote
TPHOL
2003
IEEE
15 years 11 months ago
2003
IEEE
Abstract. It is well known that mathematical proofs often contain (abstract) algorithms, but although these algorithms can be understood by a human, it still takes a lot of time an...
135
click to vote
DIGRA
2003
Springer
15 years 11 months ago
2003
Springer
In this study we have followed a participatory design process in a class of children aged 11 and 12. The development team, a group of Danish schoolteachers, invited the children t...
133
click to vote
CA
2000
IEEE
15 years 10 months ago
2000
IEEE
This paper discusses the problem of motion processing and proposes the use of a mathematical model, which describes a motion signal as a path with variable harmonic components. We...
156
click to vote
HASE
1999
IEEE
15 years 10 months ago
1999
IEEE
Even though a thorough system specification improves the quality of the design , it is not sufficient to guarantee that a system will satisfy its reliability targets. Within this ...
137
click to vote
COMPGEOM
1992
ACM
15 years 9 months ago
1992
ACM
A family of sets has the (p, q) property if among any p members of the family some q have a nonempty intersection. It is shown that for every p q d + 1 there is a c = c(p, q, d)...