1730 search results - page 136 / 346 » Algebra and Computation |
136
Voted
ISSRE
2003
IEEE
15 years 6 months ago
2003
IEEE
Component based software development is prone to unexpected interaction faults. The goal is to test as many potential interactions as is feasible within time and budget constraint...
81
Voted
ENTCS
2010
15 years 26 days ago
2010
The notion of arrow by Hughes is an axiomatization of the algebraic structure possessed by structured computations in general. We claim that an arrow also serves as a basic compon...
113
Voted
CVPR
1998
IEEE
15 years 5 months ago
1998
IEEE
This paper investigates the homography which transforms a set of points in projective space when undergoing a rigid translation, termed a projective translation. A representation ...
107
Voted
AMAST
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. Symmetry reduced model checking is hindered by two problems: how to identify state space symmetry when systems are not fully symmetric, and how to determine equivalence o...
103
Voted
BIRTHDAY
2005
Springer
15 years 6 months ago
2005
Springer
This paper is a guided tour through the theory of fibring as a general mechanism for combining logics. We present the main ideas, constructions and difficulties of fibring, from ...