8982 search results - page 1723 / 1797 » Applications of Aglet Technology |
SIGIR
2004
ACM
14 years 2 months ago
2004
ACM
Applying Belief Revision logic to model adaptive information retrieval is appealing since it provides a rigorous theoretical foundation to model partiality and uncertainty inheren...
UIST
2004
ACM
14 years 2 months ago
2004
ACM
We present SketchREAD, a multi-domain sketch recognition engine capable of recognizing freely hand-drawn diagrammatic sketches. Current computer sketch recognition systems are dif...
CAV
2004
Springer
14 years 2 months ago
2004
Springer
Regular Tree Model Checking Ahmed Bouajjani, Peter Habermehl 1 LIAFA, University Paris 7, Case 7014, 2, place Jussieu, F-75251 Paris Cedex 05, France Adam Rogalewicz, Tom´aˇs Voj...
CCS
2004
ACM
14 years 2 months ago
2004
ACM
Intranet access has become an essential function for corporate users. At the same time, corporation’s security administrators have little ability to control access to corporate ...
CIKM
2004
Springer
14 years 2 months ago
2004
Springer
We study the representation, derivation and utilization of a special kind of constraints in multidatabase systems. A major challenge is when component database schemas are schemat...