Sciweavers

818 search results - page 108 / 164
» formats 2007
Sort
View
WWW
2007
ACM
15 years 10 months ago
Electoral search using the VerkiezingsKijker: an experience report
The Netherlands had parliamentary elections on November 22, 2006. We built a system which helped voters to make an informed choice among the many participating parties. One of the...
Valentin Jijkoun, Maarten Marx, Maarten de Rijke, ...
KDD
2007
ACM
155views Data Mining» more  KDD 2007»
15 years 10 months ago
Mining templates from search result records of search engines
Metasearch engine, Comparison-shopping and Deep Web crawling applications need to extract search result records enwrapped in result pages returned from search engines in response ...
Hongkun Zhao, Weiyi Meng, Clement T. Yu
CHI
2007
ACM
15 years 10 months ago
Comicboarding: using comics as proxies for participatory design with children
Comicboarding is a participatory design method that uses specially created comic books to generate engaging, productive brainstorming sessions with children. By leveraging known p...
Neema Moraveji, Jason Li, Jiarong Ding, Patrick O'...
CADE
2007
Springer
15 years 10 months ago
Encodings of Bounded LTL Model Checking in Effectively Propositional Logic
We present an encoding that is able to specify LTL bounded model checking problems within the Bernays-Sch?onfinkel fragment of first-order logic. This fragment, which also correspo...
Andrei Voronkov, Juan Antonio Navarro Pérez
VLDB
2007
ACM
104views Database» more  VLDB 2007»
15 years 10 months ago
Unifying Data and Domain Knowledge Using Virtual Views
The database community is on a constant quest for better integration of data management and knowledge management. Recently, with the increasing use of ontology in various applicat...
Lipyeow Lim, Haixun Wang, Min Wang