4280 search results - page 674 / 856 » Mechanisms for information elicitation |
191
click to vote
ICSE
1999
IEEE-ACM
15 years 10 months ago
1999
IEEE-ACM
In this paper we show how the FLAVERS data flow analysis technique, originally formulated for programs with the rendezvous model of concurrency, can be applied to concurrent Java...
179
click to vote
ICVS
1999
Springer
15 years 10 months ago
1999
Springer
This paper presents interim results from an ongoing project on aerial image reconstruction. One important task in image interpretation is the process of understanding and identifyi...
158
click to vote
LCPC
1999
Springer
15 years 10 months ago
1999
Springer
The traditional target machine of a parallelizing compiler can execute code sections either serially or in parallel. In contrast, targeting the generated code to a speculative para...
163
click to vote
LPNMR
1999
Springer
15 years 10 months ago
1999
Springer
We introduce choice logic programs as negation-free datalog programs that allow rules to have exclusive-only (possibly empty) disjunctions in the head. Such programs naturally mod...
204
click to vote
MIS
1999
Springer
15 years 10 months ago
1999
Springer
In a video database, large amount of information involving video, audio, and/or images needs to be stored and managed. Therefore, there is an important need for novel techniques a...