4581 search results - page 330 / 917 » Computing Transformation Semigroups |
188
click to vote
LICS
2005
IEEE
16 years 9 days ago
2005
IEEE
This paper describes two new bisimulation equivalences for the pure untyped call-by-value λ-calculus, called enf bisimilarity and enf bisimilarity up to η. They are based on eag...
172
click to vote
DAGM
2005
Springer
16 years 8 days ago
2005
Springer
The paper presents an extended hand-eye calibration approach that, in contrast to the standard method, does not require a calibration pattern for determining camera position and or...
187
click to vote
EPIA
2005
Springer
16 years 8 days ago
2005
Springer
Theoretical research has spent some years facing the problem of how to represent and provide semantics to updates of logic programs. This problem is relevant for addressing highly ...
159
click to vote
FROCOS
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. In this paper we combine rewriting techniques with verification issues. More precisely, we show how techniques for proving relative termination of term rewrite systems (...
205
click to vote
ICCS
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. Complex tensor contraction expressions arise in accurate electronic structure models in quantum chemistry, such as the Coupled Cluster method. Transformations using algeb...