3552 search results - page 193 / 711 » Proof theory in the abstract |
170
click to vote
JCP
2006
15 years 6 months ago
2006
Abstract-- Some non-coding small RNAs, known as microRNAs (miRNAs), have been shown to play important roles in gene regulation and various biological processes. The abnormal expres...
169
click to vote
STTT
2008
15 years 6 months ago
2008
Abstract. Fast is a tool for the analysis of systems manipulating unbounded integer variables. We check safety properties by computing the reachability set of the system under stud...
159
click to vote
UTP
2010
15 years 4 months ago
2010
Abstract. This paper presents a framework for reasoning about the security of confidential data within software systems. A novelty is that we use Hoare and He's Unifying Theor...
174
click to vote
ECSQARU
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. When merging belief functions, Dempster rule of combination is justified only when sources can be considered as independent. When dependencies are ill-known, it is usual ...
146
click to vote
ECCV
2002
Springer
16 years 8 months ago
2002
Springer
Abstract. Given the projection of a su cient numberof points it is possible to algebraically eliminate the camera parameters and obtain viewinvariant functions of image coordinates...