Sciweavers

6719 search results - page 1034 / 1344
» A Generalization of Automatic Sequences
Sort
View
MSWIM
2006
ACM
16 years 1 months ago
Performance modeling of critical event management for ubiquitous computing applications
A generic theoretical framework for managing critical events in ubiquitous computing systems is presented. The main idea is to automatically respond to occurrences of critical eve...
Tridib Mukherjee, Krishna M. Venkatasubramanian, S...
194
Voted
PPPJ
2006
ACM
16 years 1 months ago
Propagation of JML non-null annotations in Java programs
Development of high quality code is extremely dicult. Tools that help maintaining the proper quality of code produced by programmers can be very useful: they may increase the qua...
Maciej Cielecki, Jedrzej Fulara, Krzysztof Jakubcz...
SAC
2006
ACM
16 years 1 months ago
A privacy preserving web recommender system
In this paper we propose a recommender system that helps users to navigate though the Web by providing dynamically generated links to pages that have not yet been visited and are ...
Ranieri Baraglia, Claudio Lucchese, Salvatore Orla...
SENSYS
2006
ACM
16 years 1 months ago
Data analysis tools for sensor-based science
Science is increasingly driven by data collected automatically from arrays of inexpensive sensors. The collected data volumes require a different approach from the scientists'...
Stuart Ozer, Jim Gray, Alexander S. Szalay, Andrea...
SIGIR
2006
ACM
16 years 1 months ago
Automated performance assessment in interactive QA
In interactive question answering (QA), users and systems take turns to ask questions and provide answers. In such an interactive setting, user questions largely depend on the ans...
Joyce Y. Chai, Tyler Baldwin, Chen Zhang
« Prev « First page 1034 / 1344 Last » Next »