754 search results - page 93 / 151 » Architectural Abstractions for Hybrid Programs |
124
click to vote
CORR
2008
Springer
14 years 10 months ago
2008
Springer
Abstract. Proof search has been used to specify a wide range of computation systems. In order to build a framework for reasoning about such specifications, we make use of a sequent...
ICANN
2003
Springer
15 years 4 months ago
2003
Springer
Abstract. Solutions to the symbol grounding problem, in psychologically plausible cognitive models, have been based on hybrid connectionist/symbolic architectures, on robotic appro...
INFOCOM
2012
IEEE
13 years 1 months ago
2012
IEEE
Abstract—This paper describes and compares alternative architectures for achieving the functional goals of name oriented networking. The CCN (content-centric network) scheme prop...
PADL
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. Prospective Logic Programming is a declarative framework supporting the specification of autonomous agents capable of anticipating and reasoning about hypothetical futur...
102
click to vote
IFL
1998
Springer
15 years 3 months ago
1998
Springer
Abstract. Sac (Single Assignment C) is a strict, purely functional programming language primarily designed with numerical applications in mind. Particular emphasis is on efficient ...