1140 search results - page 122 / 228 » Progress on Certifying Algorithms |
115
click to vote
JUCS
2008
15 years 21 days ago
2008
: In this article we present the development of a web application called SHARP Online: An Adaptive Hypermedia System Applied to Mathematical Problem Solving. The pedagogical basis ...
111
Voted
ACTAC
1999
15 years 13 days ago
1999
A new image compression algorithm, Distortion Limited Wavelet Image Codec (DLWIC), is introduced. The codec is designed to be simple to implement, fast and have modest requirement...
91
Voted
ICCAD
1997
IEEE
15 years 5 months ago
1997
IEEE
Abstract — The principles employed in the development of modern RF simulators are introduced and the various techniques currently in use, or expected to be in use in the next few...
107
click to vote
EDBT
1990
ACM
15 years 4 months ago
1990
ACM
Deductive Databases are coming of age with the emergence of efficient and easy to use systems that support queries, reasoning, and application development on databases through dec...
127
Voted
SP
2008
IEEE
15 years 19 days ago
2008
IEEE
Discovering gene co-regulatory relationships is one of most important research in DNA microarray data analysis. The problem of gene specific co-regulation discovery is to, for a p...