4894 search results - page 815 / 979 » Choices |
150
click to vote
MHCI
2009
Springer
16 years 29 days ago
2009
Springer
As users enter web queries, real-time query expansion (RTQE) interfaces offer suggestions based on an index garnered from query logs. In selecting a suggestion, users can potentia...
166
click to vote
MODELS
2009
Springer
16 years 29 days ago
2009
Springer
Product line engineering is an emerging paradigm of developing a family of products. While product line analysis and design mainly focus on reasoning about commonality and variabi...
186
click to vote
SEMWEB
2009
Springer
16 years 28 days ago
2009
Springer
The Virtual Solar-Terrestrial Observatory (VSTO) is a distributed, scalable education and research environment for searching, integrating, and analyzing observational, experimental...
167
click to vote
SPIN
2009
Springer
16 years 28 days ago
2009
Springer
Abstract. Symbolic reachability analysis provides a basis for the verification of software systems by offering algorithmic support for the exploration of the program state space ...
160
click to vote
ASSETS
2009
ACM
16 years 28 days ago
2009
ACM
In this paper, we compare alternative techniques for evaluating a software system for simplifying the readability of texts for adults with mild intellectual disabilities (ID). We ...