22909 search results - page 4206 / 4582 » A System of Interaction and Structure |
184
Voted
ESOP
2006
Springer
15 years 10 months ago
2006
Springer
We present a typed calculus IL ("intermediate language") which supports the embedding of ML-like (strict, eager) and Haskell-like (non-strict, lazy) languages, without fa...
160
Voted
FINTAL
2006
15 years 10 months ago
2006
In this article, we are studying the differences between the European languages using statistical and unsupervised methods. The analysis is conducted in different levels of languag...
190
Voted
FPGA
2006
ACM
15 years 10 months ago
2006
ACM
In this paper, we present reconfigurable hardware architecture for detecting semantics of streaming data on 1+ Gbps networks. The design leverages on the characteristics of contex...
201
click to vote
GCB
2006
Springer
15 years 10 months ago
2006
Springer
: Mass spectrometry is one of the key enabling measurement technologies for systems biology, due to its ability to quantify molecules in small concentrations. Tandem mass spectrome...
154
click to vote
AI
2003
Springer
15 years 10 months ago
2003
Springer
Abstract. Scientific citations play a crucial role in maintaining the network of relationships among mutually relevant articles within a research field. Customarily, authors includ...