861 search results - page 142 / 173 » Symbolic Program Analysis Using Term Rewriting and Generaliz... |
118
click to vote
KDD
2006
ACM
16 years 2 months ago
2006
ACM
Partitions of sequential data exist either per se or as a result of sequence segmentation algorithms. It is often the case that the same timeline is partitioned in many different ...
124
Voted
EICS
2009
ACM
15 years 9 months ago
2009
ACM
Smart environments (e.g., airports, hospitals, stadiums, and other physical spaces using ubiquitous computing to empower many mobile people) provide novel challenges for usability...
126
Voted
DOCENG
2009
ACM
15 years 10 days ago
2009
ACM
This paper focuses on the support provided by NCL (Nested Context Language) to relate objects with imperative code content and declarative hypermedia-objects (objects with declara...
160
click to vote
PPOPP
2006
ACM
15 years 8 months ago
2006
ACM
Applications need to become more concurrent to take advantage of the increased computational power provided by chip level multiprocessing. Programmers have traditionally managed t...
134
click to vote
EMSOFT
2005
Springer
15 years 8 months ago
2005
Springer
Power leakage constitutes an increasing fraction of the total power consumption in modern semiconductor technologies. Recent research efforts have tried to integrate architecture...