8874 search results - page 143 / 1775 » A New Implementation of Automath |
129
click to vote
BMCBI
2007
15 years 3 months ago
2007
Background: There are many fewer genes in the human genome than there are expressed transcripts. Alternative splicing is the reason. Alternatively spliced transcripts are often sp...
185
Voted
ICES
2010
Springer
15 years 1 months ago
2010
Springer
Recently, a reconfigurable and biologically inspired paradigm based on network-on-chip (NoC) and spiking neural networks (SNNs) has been proposed as a new method of realising an ef...
130
click to vote
INFOCOM
2006
IEEE
15 years 10 months ago
2006
IEEE
— Flow control, including congestion control for data transmission, and rate control for multimedia streaming, is an important issue in information transmission in both wireline ...
262
click to vote
UM
2010
Springer
15 years 9 months ago
2010
Springer
The field of intelligent tutoring systems has been using the well known knowledge tracing model, popularized by Corbett and Anderson (1995) to track individual users’ knowledge f...
144
Voted
ASPLOS
2008
ACM
15 years 6 months ago
2008
ACM
Device drivers commonly execute in the kernel to achieve high performance and easy access to kernel services. However, this comes at the price of decreased reliability and increas...