1693 search results - page 317 / 339 » Pattern-Recognition: a Foundational Approach |
208
click to vote
SEFM
2007
IEEE
16 years 20 days ago
2007
IEEE
This paper presents an implicitly-typed functional, aspect-oriented programming language: λ AOP. The main contribution of the paper is a semantics for λ AOP advice weaving. The ...
218
click to vote
CSL
2007
Springer
16 years 17 days ago
2007
Springer
Programs and Abstract Complexity A. Beckmann University of Wales Swansea Swansea, UK Axiom systems are ubiquitous in mathematical logic, one famous and well studied example being ...
208
click to vote
IPSN
2007
Springer
16 years 16 days ago
2007
Springer
Recent work has shown that, despite the minimal information provided by a binary proximity sensor, a network of such sensors can provide remarkably good target tracking performanc...
230
click to vote
OOPSLA
2007
Springer
16 years 15 days ago
2007
Springer
Developing a general component system for a statically typed, object-oriented language is a challenging design problem for two reasons. First, mutually recursive references across...
169
click to vote
CODES
2006
IEEE
16 years 13 days ago
2006
IEEE
It is observed that pulsed discharge currents allow to drain the battery with a higher specific power. Thus they improve the batteries durability and discharge performance. The q...