292 search results - page 39 / 59 » A linearization of the Lambda-calculus and consequences |
168
click to vote
IJCNN
2000
IEEE
15 years 10 months ago
2000
IEEE
—A predictive, multiple model control strategy is developed by extension of self-organizing map (SOM) local dynamic modeling of nonlinear autonomous systems to a control framewor...
138
click to vote
PLDI
2000
ACM
15 years 10 months ago
2000
ACM
We show how to determine statically whether it is safe for untrusted machine code to be loaded into a trusted host system. Our safety-checking technique operates directly on the u...
172
click to vote
DEXA
2000
Springer
15 years 10 months ago
2000
Springer
The aim of this paper is to show a method that is able to detect a particular class of semantic inconsistencies in a rule-based system (RBS). A semantic inconsistency is defined by...
161
click to vote
FOCS
1999
IEEE
15 years 10 months ago
1999
IEEE
We study the phenomenon of cognitive learning from an algorithmic standpoint. How does the brain effectively learn concepts from a small number of examples despite the fact that e...
138
click to vote
IPPS
1999
IEEE
15 years 10 months ago
1999
IEEE
Abstract. Themain contributionof thiswork isto propose a numberof broadcastefficient VLSI architectures for computing the sum and the prefix sums of a w k-bit, k 2, binary sequenc...