3384 search results - page 13 / 677 » More Testable Properties |
BMVC
2002
13 years 11 months ago
2002
We address the 3D reconstruction of scenes in which some planarity, collinearity, symmetry and other geometric properties are known
HYBRID
2009
Springer
14 years 3 months ago
2009
Springer
We show that regarding finite automata (FA) as discrete, time-invariant linear systems over semimodules, allows to: (1) express FA minimization and FA determinization as particula...
MFCS
1997
Springer
14 years 22 days ago
1997
Springer
It is important for programs to have modular correctness properties. We look at non-deterministic programs expressed as termrewriting systems which compute normal forms of input t...
APAL
2008
13 years 8 months ago
2008
This paper continues [Sh500] and [DzSh692]. We present a rank function for NSOP1 theories and give an example of a theory which is NSOP1 but not simple. We also investigate the con...
TVCG
2012
11 years 11 months ago
2012
— Euler diagrams are often used to visualize intersecting data sets in applications such as criminology; genetics, medicine and computer file systems. One interesting aspect of t...