384 search results - page 8 / 77 » Equivalence Relations on Classes of Computable Structures |
ICALP
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. We consider the minimum-time reachability problem in concurrent two-player timed automaton game structures. We show how to compute the minimum time needed by a player to ...
ICPR
2008
IEEE
14 years 8 months ago
2008
IEEE
We present a method for merging multiple partitions into a single partition, by minimising the ratio of pairwise agreements and contradictions between the equivalence relations cor...
CASCON
2006
13 years 9 months ago
2006
In this paper we present a test-driven approach to porting code from one object-oriented language to another. We derive an order for the porting of the code, along with a testing ...
APWEB
2004
Springer
14 years 1 months ago
2004
Springer
In a state-of-the-art XML database, an XML query is evaluated as a sequence of structural joins in which positions of data nodes are used to perform each individual structural joi...
ICCV
2003
IEEE
14 years 9 months ago
2003
IEEE
3D surface classification is a fundamental problem in computer vision and computational geometry. Surfaces can be classified by different transformation groups. Traditional classi...