1547 search results - page 204 / 310 » The Isabelle Collections Framework |
89
Voted
BMCBI
2007
15 years 21 days ago
2007
Background: Molecular biologists need sophisticated analytical tools which often demand extensive computational resources. While finding, installing, and using these tools can be ...
119
Voted
IJWBC
2007
15 years 18 days ago
2007
This paper explores a new approach to community building. It is based on the concept of salutogenesis; a proactive approach to community health which seeks preventative measures i...
160
Voted
JNSM
2002
15 years 11 days ago
2002
Realizing high volume of data transmission in real time communication in a highly dynamic architecture like Mobile Ad hoc Networks (MANET) still remains a major point of research....
108
click to vote
TOG
2002
15 years 10 days ago
2002
We present a level set framework for implementing editing operators for surfaces. Level set models are deformable implicit surfaces where the deformation of the surface is control...
122
click to vote
TAICPART
2010
IEEE
14 years 11 months ago
2010
IEEE
We report on how the Wrangler refactoring tool has been used to improve and transform test code for Erlang systems. This has been achieved through the removal of code clones, the i...