1086 search results - page 6 / 218 » Event Structures with Symmetry |
PRDC
2006
IEEE
14 years 1 months ago
2006
IEEE
Dependable systems are usually designed with multiple instances of components or logical processes, and often possess symmetries that may be exploited in model-based evaluation. T...
ICPR
2000
IEEE
14 years 8 months ago
2000
IEEE
Perceptual experiments indicate that corners and curvature are very important features in the process of recognition. This paper presents a new method to detect rotational symmetr...
ICCSA
2005
Springer
14 years 1 months ago
2005
Springer
Symmetries are not only fascinating, but they can also be exploited when designing numerical algorithms and data structures for scientific engineering problems in symmetrical doma...
LREC
2008
13 years 9 months ago
2008
In this paper, we present a linguistic resource that annotates event structures in texts. We consider an event structure as a collection of events that interact with each other in...
DAC
2004
ACM
14 years 8 months ago
2004
ACM
Instances of the Boolean satisfiability problem (SAT) arise in many areas of circuit design and verification. These instances are typically constructed from some human-designed ar...