740 search results - page 119 / 148 » Experiments on Supporting Interactive Proof Using Resolution |
SAMOS
2007
Springer
15 years 7 months ago
2007
Springer
— Interrupt-based programming is widely used for interfacing a processor with peripherals and allowing software threads to interact. Many hardware/software architectures have bee...
HASKELL
2005
ACM
15 years 7 months ago
2005
ACM
We describe the design and implementation of a full-featured Haskell development environment, based on Microsoft’s extensible Visual Studio environment. Visual Haskell provides ...
VLDB
2004
ACM
15 years 6 months ago
2004
ACM
In this demonstration, we show various querying capabilities of an application called AIDA. AIDA is developed to help the study of attention disorder in kids. In a different stud...
109
click to vote
HICSS
2005
IEEE
15 years 7 months ago
2005
IEEE
Informal conversations occur all day long among employees. These conversations allow employees to share experience such as innovative ideas for performing a task. Internalizing th...
119
click to vote
CSCW
2008
ACM
15 years 3 months ago
2008
ACM
As large displays become prevalent in public spaces, they could be employed to create novel game experiences for the public. We present an exploratory study of an ad-hoc multiplay...