5863 search results - page 830 / 1173 » Calculating Functional Programs |
190
click to vote
SIGMOD
2010
ACM
15 years 11 months ago
2010
ACM
Modern maps provide a variety of information about roads and their surrounding landscape allowing navigation systems to go beyond simple shortest path computation. In this demo, w...
184
Voted
APN
2010
Springer
15 years 11 months ago
2010
Springer
Service-oriented computing proposes services as building blocks which can be composed to complex systems. To reason about the correctness of a service, its communication protocol n...
181
click to vote
KCAP
2009
ACM
15 years 11 months ago
2009
ACM
Ontology modularization has received growing interest from the research community lately, since it supports tasks such as ontology design/reuse and knowledge selection and integra...
199
Voted
VISUALIZATION
1999
IEEE
15 years 11 months ago
1999
IEEE
Splatting is a volume rendering algorithm that combines efficient volume projection with a sparse data representation: Only voxels that have values inside the iso-range need to be...
164
click to vote
RECOMB
1999
Springer
15 years 11 months ago
1999
Springer
An important goal in bioinformatics is determining the homology and function of proteins from their sequences. Pairwise sequence similarity algorithms are often employed for this ...