2681 search results - page 220 / 537 » Topics in asynchronous systems |
283
click to vote
Book
"This book is intended to be an intellectual journey into the domain of human and machine intelligence". The book covers several topics such as intelligence, knowledge re...
132
click to vote
Lecture Notes
These notes cover several topics such as Traditional Models of Monetary Policy, Microfoundations of Monetary Policy Models, Looking into Some Recent Models of Monetary Policy, Solv...
264
click to vote
Book
This book covers several topics such as Classification, Classical Statistical Methods, Modern Statistical Techniques, Machine Learning of Rules and Trees, Neural Networks
Methods ...
276
click to vote
POPL
2006
ACM
16 years 6 months ago
2006
ACM
We exhibit the rationale behind the design of Epigram, a dependently typed programming language and interactive program development system, using refinements of a well known progr...
132
click to vote
CONTEXT
2007
Springer
16 years 9 days ago
2007
Springer
We give a brief description of a system we are currently building that fulfils the promise of our title. This description also indicates why we are interested in the topic of cont...