4961 search results - page 438 / 993 » Homomorphism-Homogeneous Relational Structures |
171
click to vote
FOSSACS
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. We introduce an extension of Hoare logic for call-by-value higherorder functions with ML-like local reference generation. Local references may be generated dynamically an...
119
click to vote
GD
2007
Springer
15 years 11 months ago
2007
Springer
We propose a layout algorithm for micro/macro graphs, i.e. relational structures with two levels of detail. While the micro-level graph is given, the macro-level graph is induced b...
163
click to vote
ICB
2007
Springer
15 years 11 months ago
2007
Springer
Palmprint recognition, as a reliable personal identity check method, has been receiving increasing attention during recent years. According to previous work, local texture analysis...
156
click to vote
IDEAL
2007
Springer
15 years 11 months ago
2007
Springer
Microarray technology produces large amounts of information to be manipulated by analysis methods, such as biclustering algorithms, to extract new knowledge. All-purpose multivaria...
154
click to vote
IFM
2007
Springer
15 years 11 months ago
2007
Springer
We present an approach to modelling Abadi–Cardelli-style object calculi as Unifying Theories of Programming (UTP) designs. Here we provide a core object calculus with an operatio...