292 search results - page 39 / 59 » A linearization of the Lambda-calculus and consequences |
116
click to vote
IJCNN
2000
IEEE
15 years 5 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...
PLDI
2000
ACM
15 years 5 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...
116
click to vote
DEXA
2000
Springer
15 years 5 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...
109
click to vote
FOCS
1999
IEEE
15 years 5 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...
IPPS
1999
IEEE
15 years 5 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...