11397 search results - page 253 / 2280 » A Relational Abstraction for Functions |
205
click to vote
TLCA
2005
Springer
16 years 22 days ago
2005
Springer
In a series of articles, we developed a method to translate general recursive functions written in a functional programming style into constructive type theory. Three problems rema...
159
click to vote
ICALP
2009
Springer
16 years 7 months ago
2009
Springer
Abstract. We introduce the notion of regular cost functions: a quantitative extension to the standard theory of regular languages. We provide equivalent characterisations of this n...
192
click to vote
SOCO
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. The separation of concerns is a fundamental principle in software engineering. Crosscutting concerns are concerns that do not align with hierarchical and block decomposit...
218
click to vote
AB
2008
Springer
16 years 1 months ago
2008
Springer
Abstract. Thoughts are spatio-temporal patterns of coalitions of firing neurons and their interconnections. Neural algebras represent these patterns as formal algebraic objects, a...
183
click to vote
ICC
2007
IEEE
16 years 1 months ago
2007
IEEE
Abstract— The IEEE 802.11e standard has recently been ratified. This standard provides Quality-of-Service (QoS) guarantees in the Medium Access Control (MAC) layer of 802.11 Wir...