6104 search results - page 43 / 1221 » Constructing Information Bases Using Associative Structures |
134
click to vote
LPAR
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. To produce a program guaranteed to satisfy a given specification one can synthesize it from a formal constructive proof that a computation satisfying that specification...
148
click to vote
AISS
2010
14 years 10 months ago
2010
Computer programming is one of the most essential skills which each graduate has to acquire. However, there are reports that they are unable to write a program well. Researches in...
147
click to vote
DL
1998
Springer
15 years 7 months ago
1998
Springer
The global growth in popularity of the World Wide Web has been enabled in part by the availability of browser based search tools which in turn have led to an increased demand for ...
131
click to vote
RSFDGRC
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. Association rule algorithms often generate an excessive number of rules, many of which are not significant. It is difficult to determine which rules are more useful, int...
111
click to vote
CHI
2009
ACM
16 years 3 months ago
2009
ACM
A long term goal of assistive technology research is to build creative expression applications where subjects can extemporaneously express themselves. Sketch drawing is one form o...