2646 search results - page 173 / 530 » Local Type Inference |
184
click to vote
EJC
2008
15 years 6 months ago
2008
We explore the connection between locally constrained graph homomorphisms and degree matrices arising from an equitable partition of a graph. We provide several equivalent charact...
182
click to vote
CONSTRAINTS
2007
15 years 6 months ago
2007
The graph set T-colouring problem (GSTCP) generalises the classical graph colouring problem; it asks for the assignment of sets of integers to the vertices of a graph such that co...
134
click to vote
JCIT
2008
15 years 6 months ago
2008
In this paper, we describe a local safety knowledge sharing system among the community. Our system makes it possible to share detailed safety knowledge, which includes location an...
179
Voted
IPMI
2005
Springer
15 years 12 months ago
2005
Springer
Many types of transformations are used to model deformations in medical image registration. While some focus on modeling local changes, some on continuity and invertibility, there ...
161
click to vote
WOA
2000
15 years 7 months ago
2000
Big changes are taking place in the area of information supply and demand on Internet. The first big change, which took place quite a while ago, is related to the type of informat...