5775 search results - page 1001 / 1155 » A Rationale-based Analysis Tool |
165
click to vote
DAM
2008
15 years 6 months ago
2008
We present here a systematic study of general boundary value problems on weighted networks that includes the variational formulation of such problems. In particular, we obtain the...
185
click to vote
ENGL
2008
15 years 6 months ago
2008
Reverse engineering has become a viable technique to create a 3D virtual model of an existing physical object. It enables the reconstruction of body surfaces to create a suitable C...
172
click to vote
ENTCS
2008
15 years 6 months ago
2008
Deep inference is a proof theoretical methodology that generalizes the traditional notion of inference in the sequent calculus: in contrast to the sequent calculus, the deductive ...
184
click to vote
FAC
2008
15 years 6 months ago
2008
Abstract. Slicing is a program analysis technique that was originally introduced to improve program debugging and understanding. The purpose of a slicing algorithm is to remove the...
162
click to vote
BIOINFORMATICS
2006
15 years 6 months ago
2006
It is commonly accepted that genes with similar expression profiles are functionally related. However, there are many ways one can measure the similarity of expression profiles, a...