2067 search results - page 308 / 414 » Logics of propositional control |
116
click to vote
IFIP
1993
Springer
15 years 10 months ago
1993
Springer
An advanced Self-Timed Reduced Instruction Set Computer (ST-RISC) architecture is described. It is designed hierarchically, and is formally specified functionally at the various ...
160
click to vote
WAIM
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. WWW caching necessitates advanced replacement policies that include sophisticated control logic and efficient contents management. This paper presents a constructive appr...
144
click to vote
IJCAI
1989
15 years 7 months ago
1989
Fold-unfold is a well known program transformation technique. Its major drawback is that folding requires an Eureka step to invent new procedures. In the context of logic programm...
147
click to vote
DKE
2002
15 years 6 months ago
2002
This paper briefly traces the evolution of information system architectures from mainframe-connected terminals to distributed multi-tier architectures. It presents the challenges ...
188
click to vote
ACL
2009
15 years 4 months ago
2009
We present a new approach to learning a semantic parser (a system that maps natural language sentences into logical form). Unlike previous methods, it exploits an existing syntact...