5577 search results - page 1090 / 1116 » E2K Technology and Implementation |
143
Voted
FOSSACS
2008
Springer
15 years 5 months ago
2008
Springer
We introduce Erasure Pure Type Systems, an extension to Pure Type Systems with an erasure semantics centered around a type constructor indicating parametric polymorphism. The eras...
147
Voted
DAGSTUHL
2010
15 years 5 months ago
2010
We have adopted a numerical method from computational fluid dynamics, the Lattice Boltzmann Method (LBM), for real-time simulation and visualization of flow and amorphous phenomen...
124
Voted
DAGSTUHL
2007
15 years 5 months ago
2007
Abstract. Enhanced RFID tag technology especially in the UHF frequency range provides extended functionality like high operating range and sensing and monitoring capabilities. Such...
188
Voted
DELOS
2007
15 years 5 months ago
2007
Data Stream Management (DSM) addresses the continuous processing of sensor data. DSM requires the combination of stream operators, which may run on different distributed devices, ...
122
Voted
DGO
2007
15 years 5 months ago
2007
Although the research domain on social capital and the adoption of Information and Communication Technologies (ICTs) is relatively immature, there is a fast growing body of eviden...