5863 search results - page 830 / 1173 » Calculating Functional Programs |
214
click to vote
SIGMOD
2010
ACM
16 years 2 days 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...
212
click to vote
APN
2010
Springer
16 years 2 days 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...
210
click to vote
KCAP
2009
ACM
15 years 12 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...
226
click to vote
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...
181
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 ...