1350 search results - page 75 / 270 » Reasoning about Staged Computation |
160
click to vote
IADIS
2004
15 years 6 months ago
2004
Nowadays, wearable devices, such as mobile phones, PDAs, etc. gain widespread popularity for communication and data exchange. Consequently, several approaches investigate the prob...
170
click to vote
INEX
2004
Springer
15 years 10 months ago
2004
Springer
The INEX query languages allow the extraction of fragments from selected documents. This power is not much used in INEX queries. The paper suggests reasons why, and considers which...
118
click to vote
EOR
2010
15 years 5 months ago
2010
A significant input-data uncertainty is often present in practical situations. One approach to coping with this uncertainty is to describe the uncertainty with scenarios. A scenar...
123
click to vote
CHI
2006
ACM
16 years 5 months ago
2006
ACM
Most co-authoring tools support basic annotations, such as edits and comments that are anchored at specific locations in the document. However, they do not support metacommentary ...
146
click to vote
ICCAD
2008
IEEE
16 years 2 months ago
2008
IEEE
— This paper presents a fast analytical method for estimating the throughput of pipelined asynchronous systems, and then applies that method to develop a fast solution to the pro...