11016 search results - page 2084 / 2204 » Cloud Computing for Science |
119
click to vote
FLOPS
2006
Springer
15 years 7 months ago
2006
Springer
What will a definitive programming language look like? By definitive language I mean a programming language that gives good soat its level of abstraction, allowing computer science...
135
Voted
SC
1995
ACM
15 years 7 months ago
1995
ACM
The problem of determining the evolutionary history of species in the form of phylogenetic trees is known as the phylogeny problem. We present a parallelization of the character c...
121
click to vote
BIRTHDAY
1991
Springer
15 years 7 months ago
1991
Springer
The goal of the MKRP project is the development of a theorem prover which can be used as an inference engine in various applications, in particular it should be capable of proving ...
143
click to vote
COMPGEOM
1987
ACM
15 years 7 months ago
1987
ACM
Calculating properties of polyhedra given only the set of the locations and neighborhoods of the vertices is easy. Possible properties include volume, surface area, and point cont...
175
click to vote
AGP
2010
IEEE
15 years 7 months ago
2010
IEEE
This chapter tackles the relation between declarative languages and multi-agent systems by following the dictates of the five Ws (and one H) that characterize investigations. The ...