10715 search results - page 320 / 2143 » Proofs from Tests |
186
click to vote
DT
2006
15 years 6 months ago
2006
The ITRS (International Technology Roadmap for Semiconductors) predicts aggressive scaling down of device size, transistor threshold voltage and oxide thickness to meet growing de...
196
click to vote
ALIFE
2004
15 years 6 months ago
2004
Phylogenetic trees group organisms by their ancestral relationships. There are a number of distinct algorithms used to reconstruct these trees from molecular sequence data, but dif...
192
click to vote
PVLDB
2008
15 years 6 months ago
2008
Graphs are widely used to model complicated data semantics in many applications. In this paper, we aim to develop efficient techniques to retrieve graphs, containing a given query...
177
click to vote
JCAL
2010
15 years 1 months ago
2010
Abstract The modality learning effect proposes that learning is enhanced when information is presented in both the visual and the auditory domains (e.g. pictures and spoken informa...
227
click to vote
ICST
2011
IEEE
14 years 10 months ago
2011
IEEE
User input validation is a technique to counter attacks on web applications. In typical client-server architectures, this validation is performed on the client side. This is ineff...