1065 search results - page 70 / 213 » Towards a Meaning of LIFE |
271
click to vote
ICDE
2008
IEEE
16 years 7 months ago
2008
IEEE
Abstract-- Our demonstration introduces a novel system architecture which massively facilitates optimization in data stream management systems (DSMS). The basic idea is to decouple...
154
click to vote
PERCOM
2008
ACM
16 years 5 months ago
2008
ACM
Low cost devices such as RFIDs, sensor network nodes, and smartcards are crucial for building the next generation pervasive and ubiquitous networks. The inherent power and footpri...
157
click to vote
TLDI
2009
ACM
16 years 3 months ago
2009
ACM
We propose a dependent type theory that integrates programming, specifications, and reasoning about higher-order concurrent programs with shared transactional memory. The design ...
170
click to vote
CICLING
2010
Springer
16 years 1 months ago
2010
Springer
We present an approach for automatic detection of topic change. Our approach is based on the analysis of statistical features of topics in time-sliced corpora and their dynamics ov...
169
click to vote
ICIAP
2009
ACM
16 years 29 days ago
2009
ACM
Multi-modality is a fundamental feature that characterizes biological systems and lets them achieve high robustness in understanding skills while coping with uncertainty. Relativel...