2586 search results - page 44 / 518 » Automatic Abstraction for Congruences |
CC
2003
Springer
14 years 4 months ago
2003
Springer
vel Meta-Reasoning with Higher-Order Abstract Syntax Alberto Momigliano, Simon Ambler. A Normalisation Result for Higher-Order Calculi with Explicit Substitutions Eduardo Bonelli. ...
IJCV
2008
13 years 10 months ago
2008
Abstract A fully automatic initialization approach for 3Dmodel-based vehicle tracking has been developed, based on Edge-Element and Optical-Flow association. An entire automatic in...
ICSOC
2009
Springer
13 years 8 months ago
2009
Springer
Service-oriented computing provides an evolving paradigm for flexible and scalable applications of open systems. Web services and their automatic composition are in the mainstream...
ECOOP
1999
Springer
14 years 3 months ago
1999
Springer
Abstract. Automatic program specialization can derive efficient implementations from generic components, thus reconciling the often opposing goals of genericity and efficiency. Thi...
RSP
2003
IEEE
14 years 4 months ago
2003
IEEE
As embedded systems continue to face increasingly higher performance requirements, deeply pipelined processor architectures are being employed to meet desired system performance. ...