2450 search results - page 170 / 490 » Time Mapping with Hypergraphs |
129
Voted
ROBOCUP
2005
Springer
15 years 8 months ago
2005
Springer
Color calibration is a time-consuming, and therefore costly requirement for most robot teams at RoboCup. This paper presents an approach for autonomous color learning on-board a mo...
136
Voted
WADT
2001
Springer
15 years 7 months ago
2001
Springer
Abstract. We consider the verification of a simple pipelined microprocessor in Maude, by implementing an equational theoretical model of systems. Maude is an equationally-based la...
124
Voted
FQAS
2006
Springer
15 years 7 months ago
2006
Springer
We present a functional model for the analysis of large volumes of detailed transactional data, accumulated over time. In our model, the data schema is an acyclic graph with a sing...
127
click to vote
DAGSTUHL
1998
15 years 4 months ago
1998
We have identified in previous work two translations for parametrically typed extensions of Java. The homogeneous translation maps type variables to a uniform representation, while...
133
click to vote
CORR
2007
Springer
15 years 3 months ago
2007
Springer
A vertex k-labeling of graph G is distinguishing if the only automorphism that preserves the labels of G is the identity map. The distinguishing number of G, D(G), is the smallest...