1413 search results - page 252 / 283 » Bisimilarity of Open Terms |
128
click to vote
DAS
2010
Springer
15 years 11 months ago
2010
Springer
Optical scan voting is considered by many to be the most trustworthy option for conducting elections because it provides an independently verifiable record of each voter’s inte...
140
click to vote
GECCO
2010
Springer
15 years 11 months ago
2010
Springer
HyperNEAT represents a class of neuroevolutionary algorithms that captures some of the power of natural development with a ionally efficient high-level abstraction of development....
150
click to vote
ACMACE
2009
ACM
15 years 10 months ago
2009
ACM
How do games effect the way we problem solve, socialize, or even view the world? When we shoot do we learn to destroy obstacles instead of work around them? Does the binary world ...
163
click to vote
GROUP
2009
ACM
15 years 10 months ago
2009
ACM
Designing for non-verbal communication using e.g. gestures and other bodily expressions is difficult. Hardware and software need to be co-designed and harmonize in order to not th...
152
click to vote
DESRIST
2009
Springer
15 years 10 months ago
2009
Springer
The paper elaborates on the theoretical foundation of Information System understood as a field of design science. Revisiting Hevner’s et al. seminal paper [44], we elaborate on ...