949 search results - page 136 / 190 » Lightweight Formal Methods for Computer Algebra Systems |
AIL
2007
13 years 9 months ago
2007
One of the major problems in the implementation of the precautionary principle in environmental cases is the estimation of the weight of evidence. In this paper we propose a forma...
BMCBI
2006
13 years 8 months ago
2006
Background: A central goal of molecular biology is to understand the regulatory mechanisms of gene transcription and protein synthesis. Because of their solid basis in statistics,...
DEBS
2010
ACM
14 years 21 days ago
2010
ACM
Today’s organisations require techniques for automated transformation of the large data volumes they collect during their operations into operational knowledge. This requirement...
GIS
2004
ACM
14 years 9 months ago
2004
ACM
act Model of Three-Dimensional Spatial Data Types Markus Schneider & Brian E Weinrich University of Florida Department of Computer & Information Science & Engineering G...
SI3D
1999
ACM
14 years 1 months ago
1999
ACM
The Voodoo Dolls technique is a two-handed interaction technique for manipulating objects at a distance in immersive virtual environments. This technique addresses some limitation...