5879 search results - page 883 / 1176 » Separation - Past, Present, and Future |
195
click to vote
RTAS
2003
IEEE
16 years 4 hour ago
2003
IEEE
This paper presents our tool set implementation for scenario-based multithreading of object-oriented realtime models and an accompanying experimental validation. Our tools enable ...
222
click to vote
SAC
2003
ACM
15 years 12 months ago
2003
ACM
Query-by-example is the most popular query model for today’s image retrieval systems. A typical query image contains not only relevant objects (e.g., Eiffel Tower), but also ir...
172
click to vote
SIGGRAPH
2003
ACM
15 years 12 months ago
2003
ACM
While texture synthesis on surfaces has received much attention in computer graphics, the ideal solution that quickly produces high-quality textures with little user intervention ...
174
click to vote
TLDI
2003
ACM
15 years 12 months ago
2003
ACM
We develop a logic for reasoning about adjacency and separation of memory blocks, as well as aliasing of pointers. We provide a memory model for our logic and present a sound set ...
178
click to vote
ACNS
2003
Springer
15 years 12 months ago
2003
Springer
Key exposures, known or inconspicuous, are a real security threat. Recovery mechanisms from such exposures are required. For digital signatures such a recovery should ideally —an...