5630 search results - page 211 / 1126 » Computability in Specification |
165
click to vote
ENTCS
2006
15 years 5 months ago
2006
We describe novel computational techniques for constructing induction rules for deductive synthesis proofs. Deductive synthesis holds out the promise of automated construction of ...
127
Voted
IJON
2002
15 years 4 months ago
2002
Self-organizing computational models with specific intracortical connections can explain many features of visual cortex. However, due to their computation and memory requirements,...
131
Voted
COGSCI
2004
15 years 4 months ago
2004
of natural language syntax often characterize grammatical knowledge as a form of abstract computation. This paper argues that such a characterization is correct, and that fundamen...
147
click to vote
SIGOPSE
2000
ACM
15 years 9 months ago
2000
ACM
Ubiquitous computing promotes physical spaces with hundreds of specialized embedded devices that increase our productivity, alleviate some specific everyday tasks and provide new ...
116
click to vote
WWW
2004
ACM
16 years 5 months ago
2004
ACM
The evaluation of eLearning success is an indispensable business requirement of education programs: the easy registration of `visits' to eLearning websites is, however, not s...