171 search results - page 20 / 35 » Arithmetic Function Interpreter in C |
BIOINFORMATICS
2005
14 years 9 months ago
2005
Summary: MADE4, microarray ade4, is a software package that facilitates multivariate analysis of microarray gene expression data. MADE4 accepts a wide variety of gene expression d...
110
click to vote
VMCAI
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. Techniques such as verification condition generation, preditraction, and expressive type systems reduce software verification to proving formulas in expressive logics. Pr...
ICLP
1997
Springer
15 years 1 months ago
1997
Springer
Abstract This paper describes a general framework for automatic termination analysis of logic programs, where we understand by termination" the niteness of the LD-tree constru...
ACSAC
1998
IEEE
15 years 1 months ago
1998
IEEE
This paper questions the status quo regarding Security Management (SM) tools that function in an isolated, monolithic fashion. People work best by interacting with others and with...
APPML
2007
14 years 9 months ago
2007
A method of topological grammars is proposed for multidimensional data approximation. For data with complex topology we define a principal cubic complex of low dimension and give...