1672 search results - page 150 / 335 » Interactive Mathematical Documents |
117
click to vote
GECCO
2008
Springer
15 years 5 months ago
2008
Springer
We describe the application of genetic programming (GP) to a problem in pure mathematics, in the study of finite algebras. We document the production of human-competitive results...
143
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
Reusable software components need well-defined interfaces, rigorously and completely documented features, and a design amenable both to reuse and to formal verification; all these...
249
click to vote
JUCS
2002
15 years 4 months ago
2002
: The research belonging to the Abstract State Machines approach to system design and analysis is surveyed and documented in an annotated ASM bibliography. The survey covers the pe...
143
click to vote
WWW
2002
ACM
16 years 5 months ago
2002
ACM
HTML documents composed of frames can be difficult to write correctly. We demonstrate a technique that can be used by authors manually creating HTML documents (or by document edit...
105
click to vote
CHI
2008
ACM
16 years 4 months ago
2008
ACM
We describe a new circular touch gesture for scrolling called ChiralMotionTM and report on work to measure its performance. In a study using a document scrolling task, ChiralMotio...