1729 search results - page 66 / 346 » Generic Haskell: Applications |
142
click to vote
BIBE
2005
IEEE
15 years 10 months ago
2005
IEEE
We address the issue of providing highly informative annotations using information revealed by the structured vocabularies of Gene Ontology (GO). For a target, a set of candidate ...
103
click to vote
SAC
2005
ACM
15 years 10 months ago
2005
ACM
In this paper we describe a serializer component completely realized in .NET managed code, able to run on a stripped versions of the .NET platform (e.g., Compact Framework) and st...
149
click to vote
GPCE
2005
Springer
15 years 10 months ago
2005
Springer
One of the themes in building reusable and maintainable software is identifying similarities and designing generic solutions to unify similarity patterns. In this paper, we analyze...
138
click to vote
TPHOL
1999
IEEE
15 years 8 months ago
1999
IEEE
Abstract. We present a generic approach to readable formal proof documents, called Intelligible semi-automated reasoning (Isar). It addresses the major problem of existing interact...
132
click to vote
ESA
2006
Springer
15 years 8 months ago
2006
Springer
Lower envelopes are fundamental structures in computational geometry, which have many applications, such as computing general Voronoi diagrams and performing hidden surface removal...