2149 search results - page 48 / 430 » Form over Substance |
ASM
2008
ASM
15 years 1 months ago
2008
ASM
The transition from classical B [2] to the Event-B language and method [3] has seen the removal of some forms of model structuring and composition, with the intention of reinventin...
101
click to vote
TCS
2008
14 years 11 months ago
2008
We introduce an LTL-like logic with atomic formulae built over a constraint language interpreting variables in Z. The constraint language includes periodicity constraints, comparis...
IVC
2007
14 years 11 months ago
2007
Energy minimizing contours or snakes are tools for delineating objects of interest in an image. Snakes are defined discretely or in continuous form with continuous snakes having ...
101
click to vote
ASIACRYPT
2007
Springer
15 years 6 months ago
2007
Springer
Edwards recently introduced a new normal form for elliptic curves. Every elliptic curve over a non-binary field is birationally equivalent to a curve in Edwards form over an exten...
AAECC
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. We describe some constructions of orthonormal lattices in totally real subfields of cyclotomic fields, obtained by endowing their ring of integers with a trace form. We...