Sciweavers

1695 search results - page 27 / 339
» Interactive query refinement
Sort
View
JLP
2006
126views more  JLP 2006»
15 years 1 months ago
Compositional modeling and refinement for hierarchical hybrid systems
In this paper, we develop a theory of modular design and refinement of hierarchical hybrid systems. In particular, we present compositional trace-based semantics for the language ...
Rajeev Alur, Radu Grosu, Insup Lee, Oleg Sokolsky
IPPS
1998
IEEE
15 years 6 months ago
Deriving Efficient Cache Coherence Protocols through Refinement
Abstract. We address the problem of developing efficient cache coherence protocols implementing distributed shared memory (DSM) using message passing. A serious drawback of traditi...
Ratan Nalumasu, Ganesh Gopalakrishnan
EDBT
2004
ACM
139views Database» more  EDBT 2004»
16 years 2 months ago
Efficient Distributed Skylining for Web Information Systems
Though skyline queries already have claimed their place in retrieval over central databases, their application in Web information systems up to now was impossible due to the distri...
Wolf-Tilo Balke, Ulrich Güntzer, Jason Xin Zh...
CHI
2002
ACM
16 years 2 months ago
Workshop: Creating and refining knowledges, identities, and understandings in on-line communities
This two-day workshop examines the ways that on-line communities create and refine their shared resources, including both the formal and observable artifacts (documents, chats, th...
Michael J. Muller, David R. Millen
SIGIR
2006
ACM
15 years 7 months ago
A study of real-time query expansion effectiveness
In this poster, we describe the study of an interface technique that provides a list of suggested additional query terms as a searcher types a search query, in effect offering int...
Ryen W. White, Gary Marchionini