Sciweavers

7839 search results - page 1367 / 1568
» What's there and what's not
Sort
View
AFP
2004
Springer
105views Formal Methods» more  AFP 2004»
15 years 6 months ago
Epigram: Practical Programming with Dependent Types
Abstraction and application, tupling and projection: these provide the ‘software engineering’ superstructure for programs, and our familiar type systems ensure that these opera...
Conor McBride
AMTA
2004
Springer
15 years 6 months ago
The Georgetown-IBM Experiment Demonstrated in January 1954
The public demonstration of a Russian-English machine translation system in New York in January 1954 – a collaboration of IBM and Georgetown University – caused a great deal of...
W. John Hutchins
AP2PC
2004
Springer
15 years 6 months ago
ACP2P: Agent Community Based Peer-to-Peer Information Retrieval
This paper proposes an agent community based information retrieval method, which uses agent communities to manage and look up information related to users. An agent works as a dele...
Tsunenori Mine, Daisuke Matsuno, Akihiro Kogo, Mak...
ASWSD
2004
Springer
15 years 6 months ago
Simulink Integration of Giotto/TDL
The paper first presents the integration options of what we call the Timing Description Language (TDL) with MathWorks' Simulink tools. Based on the paradigm of logical executi...
Wolfgang Pree, Gerald Stieglbauer, Josef Templ
BIOADIT
2004
Springer
15 years 6 months ago
The Genealogy of Biomimetics: Half a Century?s Quest for Dynamic IT
Abstract. Biologically inspired approaches to the design of general IT are presently flourishing. Investigating the scientific and historical roots of the tendency will serve to pr...
Mikkel Holm Sørensen
« Prev « First page 1367 / 1568 Last » Next »