1755 search results - page 240 / 351 » Symposium on document engineering |
130
click to vote
PASTE
2004
ACM
15 years 10 months ago
2004
ACM
Model checking requires a specification of the target system’s desirable properties, some of which are temporal. Formulating a property of the system based on either its abstrac...
123
click to vote
SIGCSE
2004
ACM
15 years 10 months ago
2004
ACM
A framework for producing dynamic data structure visualizations within the context of a lightweight IDE is described. Multiple synchronized visualizations of a data structure can ...
128
click to vote
UIST
2004
ACM
15 years 10 months ago
2004
ACM
ScreenCrayons is a system for collecting annotations on any type of document or visual information from any application. The basis for the system is a screen capture upon which th...
115
click to vote
WPES
2004
ACM
15 years 10 months ago
2004
ACM
As computing becomes more ubiquitous and Internet use continues to rise, it is increasingly important for organizations to construct accurate and effective privacy policies that d...
121
click to vote
ADC
2004
Springer
15 years 10 months ago
2004
Springer
Document retrieval and web search engines index large quantities of text. The static costs associated with storing the index can be traded against dynamic costs associated with us...