740 search results - page 108 / 148 » Experiments on Supporting Interactive Proof Using Resolution |
105
click to vote
JCIT
2008
15 years 1 months ago
2008
This paper presents an efficient One Pass Association Mining technique i.e. OPAM, which finds all the frequent itemsets without generating any candidate sets. OPAM is basically an...
121
click to vote
IFM
2010
Springer
14 years 12 months ago
2010
Springer
This paper presents initial results of research aimed at developing methods and tools for multidisciplinary collaborative development of dependable embedded systems. We focus on th...
VL
2009
IEEE
15 years 8 months ago
2009
IEEE
Source code on the web is a widely available and potentially rich learning resource for nonprogrammers. However, unfamiliar code can be daunting to end-users without programming e...
124
click to vote
AMI
2008
Springer
15 years 3 months ago
2008
Springer
For an ambient intelligent agent to support a human in demanding tasks it is important to be aware of the progress made in a given workflow. It would be possible to interact with t...
120
click to vote
ETS
2000
IEEE
15 years 1 months ago
2000
IEEE
We view the Internet as a "virtual laboratory" and have developed a framework to support experiments in web-based community learning. Our system is called the Community ...