1245 search results - page 50 / 249 » Playing with Conway's problem |
ICDCS
2009
IEEE
14 years 4 months ago
2009
IEEE
In this paper, we consider the design of a policy-based routing system and the role that link state might play. Looking at the problem from a link-state perspective, we propose Ce...
ER
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. We discuss the existence of matrix representations for generalised and minimum participation constraints which are frequently used in database design and conceptual model...
GBRPR
2007
Springer
14 years 1 months ago
2007
Springer
Spatial relations play a crucial role in model-based image recognition and interpretation due to their stability compared to many other image appearance characteristics. Graphs are...
SOFSEM
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. The dependency pair method is a powerful method for automatically proving termination of rewrite systems. When used with traditional simplification orders like LPO and K...
SETN
2004
Springer
14 years 1 months ago
2004
Springer
In this paper the problem of music performer verification is introduced. Given a certain performance of a musical piece and a set of candidate pianists the task is to examine wheth...