5634 search results - page 108 / 1127 » About Abstract Classes |
PPDP
2009
Springer
15 years 5 months ago
2009
Springer
Hybrid is a system developed to specify and reason about logics, programming languages, and other formal systems expressed in rder abstract syntax (HOAS). An important goal of Hyb...
CSL
2008
Springer
15 years 27 days ago
2008
Springer
Abstract. We give a recursion-theoretic characterization of the complexity classes NCk
CORR
2008
Springer
14 years 11 months ago
2008
Springer
Abstract-- Interior-point algorithms constitute a very interesting class of algorithms for solving linear-programming problems. In this paper we study efficient implementations of ...
58
Voted
JMIV
2008
14 years 11 months ago
2008
Abstract. In this paper we classify digital covering spaces using the conjugacy class corresponding to a digital covering space.
138
click to vote
3DPVT
2004
IEEE
15 years 2 months ago
2004
IEEE
Abstract-General information about a class of objects, such as human faces or teeth, can help to solve the otherwise ill-posed problem of reconstructing a complete surface from spa...