677 search results - page 41 / 136 » Dependent Types from Counterexamples |
IEEEPACT
1998
IEEE
15 years 2 months ago
1998
IEEE
Method speculation of object-oriented programs attempts to exploit method-level parallelism (MLP) by executing sequential method invocations in parallel, while still maintaining c...
116
click to vote
IJCAI
2001
14 years 11 months ago
2001
Supervised and unsupervised learning methods have traditionally focused on data consisting of independent instances of a single type. However, many real-world domains are best des...
115
click to vote
ICA
2012
Springer
13 years 5 months ago
2012
Springer
We consider the Independent Subspace Analysis problem from the point of view of contrast functions, showing that contrast functions are able to partially solve the ISA problem. Tha...
BMCBI
2010
14 years 9 months ago
2010
Background: Transcriptional regulatory network inference (TRNI) from large compendia of DNA microarrays has become a fundamental approach for discovering transcription factor (TF)...
ICALT
2007
IEEE
15 years 4 months ago
2007
IEEE
The tutor tries, by using feedbacks, to keep the learner’s attention and to increase his motivation and then his performance. However, the effectiveness of the tutor’s feedbac...