4047 search results - page 602 / 810 » Algebraic Model Checking |
190
Voted
ENTCS
2007
15 years 6 months ago
2007
This paper gives an overview of recent advances in Real-Time Maude. Real-Time Maude extends the Maude rewriting logic tool to support formal specification and analysis of object-...
178
Voted
QEST
2005
IEEE
16 years 1 days ago
2005
IEEE
iLTL is a probabilistic temporal logic that can specify properties of multiple discrete time Markov chains (DTMCs). In this paper, we describe two related tools: MarkovEstimator a...
169
Voted
BMCBI
2010
15 years 6 months ago
2010
Background: It has been apparent in the last few years that small non coding RNAs (ncRNA) play a very significant role in biological regulation. Among these microRNAs (miRNAs), 22...
180
click to vote
ICCV
2009
IEEE
16 years 10 months ago
2009
IEEE
Camera networks have gained increased importance in
recent years. Previous approaches mostly used point correspondences
between different camera views to calibrate
such systems....
189
click to vote
ECCV
2006
Springer
16 years 8 months ago
2006
Springer
Triangulation consists in finding a 3D point reprojecting the best as possible onto corresponding image points. It is classical to minimize the reprojection error, which, in the p...