2482 search results - page 203 / 497 » Characterizing Programming Systems Allowing Program Self-ref... |
116
click to vote
JAIR
2006
15 years 2 months ago
2006
Efficient representations and solutions for large decision problems with continuous and discrete variables are among the most important challenges faced by the designers of automa...
86
Voted
JOT
2006
15 years 2 months ago
2006
An important aim in the design of the Timor programming language is to provide programmers with features which enable them to build complex systems from components which can be de...
118
Voted
SIMPRA
2008
15 years 2 months ago
2008
This article summarizes `Generalized Response Surface Methodology'(GRSM), extending Box and Wilson's `Response Surface Methodology'(RSM). GRSM allows multiple rando...
135
click to vote
MASS
2010
15 years 7 days ago
2010
In this paper we describe SpartanRPC, a secure middleware technology for wireless sensor network (WSN) applications supporting cooperation between distinct protection domains. The ...
127
click to vote
TCS
2011
14 years 9 months ago
2011
New, simple, proofs of soundness (every representable function lies in a given complexity class) for Elementary Affine Logic, LFPL and Soft Affine Logic are presented. The proofs ...