740 search results - page 63 / 148 » Experiments on Supporting Interactive Proof Using Resolution |
111
click to vote
AOSD
2006
ACM
15 years 7 months ago
2006
ACM
Aspect-oriented software development is gaining popularity with the wider adoption of languages such as AspectJ. To reduce the manual effort of testing aspects in AspectJ programs...
123
click to vote
ACMACE
2008
ACM
15 years 3 months ago
2008
ACM
In this paper, we present our research on social interaction in colocated handheld augmented reality (AR) games. These games are characterized by shared physical spaces that promo...
111
click to vote
WSC
1998
15 years 2 months ago
1998
MODSIM II is an object-oriented discrete event simulation language featuring extensive run-time libraries, graphical user interface and results presentation tools, database access...
110
click to vote
ATAL
2008
Springer
15 years 3 months ago
2008
Springer
This paper describes an agent-based platform for the allocation of loads in distributed transportation logistics, developed as a collaboration between CWI, Dutch National Center f...
128
click to vote
PUC
2010
14 years 11 months ago
2010
Human computer interaction (HCI) has little explored everyday life and enriching experiences in rural, wilderness and other predominantly ‘‘natural’’ places despite their s...