13383 search results - page 2344 / 2677 » Abstractions from proofs |
145
click to vote
ESA
2001
Springer
15 years 8 months ago
2001
Springer
Abstract. Single nucleotide polymorphisms (SNPs) are the most frequent form of human genetic variation. They are of fundamental importance for a variety of applications including m...
125
click to vote
SCHULE
2001
Springer
15 years 8 months ago
2001
Springer
Abstract: Education is changing, following changes in society. The focus is shifting from teaching towards learning. And Informatics, more particularly Information and Communicatio...
137
click to vote
ICMCS
2000
IEEE
15 years 8 months ago
2000
IEEE
Abstract—Due to the high bandwidth requirement and rate variability of compressed video, delivering video across wide area networks (WANs) is a challenging issue. Proxy servers h...
110
click to vote
ASPDAC
2000
ACM
15 years 8 months ago
2000
ACM
Reducing power consumption has become a key goal for systemon-a-chip (SOC) designs. Fast and accurate power estimation is needed early in the design process, since power reduction...
151
click to vote
DDEP
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. Notations like SGML and XML represent document structures using tree structures; while this is in general a step forward from earlier systems, it creates certain difficul...