Sciweavers

11394 search results - page 669 / 2279
» Error-Correcting Data Structures
Sort
View
DASFAA
2010
IEEE
189views Database» more  DASFAA 2010»
15 years 10 months ago
Efficient Skyline Maintenance for Streaming Data with Partially-Ordered Domains
We address the problem of skyline query processing for a count-based window of continuous streaming data that involves both totally- and partially-ordered attribute domains. In thi...
Yuan Fang, Chee-Yong Chan
ATVA
2008
Springer
143views Hardware» more  ATVA 2008»
15 years 9 months ago
Automating Algebraic Specifications of Non-freely Generated Data Types
Abstract. Non-freely generated data types are widely used in case studies carried out in the theorem prover KIV. The most common examples are stores, sets and arrays. We present an...
Andriy Dunets, Gerhard Schellhorn, Wolfgang Reif
EDUTAINMENT
2008
Springer
15 years 9 months ago
Reconstruction of Tree Crown Shape from Scanned Data
Reconstruction of a real tree from scattered scanned points is a new challenge in virtual reality. Although many progresses are made on main branch structures and overall shape of ...
Chao Zhu, Xiaopeng Zhang, Bao-Gang Hu, Marc Jaeger
AVI
2010
15 years 9 months ago
Tracing genealogical data with TimeNets
We present TimeNets, a new visualization technique for genealogical data. Most genealogical diagrams prioritize the display of generational relations. To enable analysis of famili...
Nam Wook Kim, Stuart K. Card, Jeffrey Heer
LREC
2010
187views Education» more  LREC 2010»
15 years 9 months ago
How FrameSQL Shows the Japanese FrameNet Data
FrameSQL is a web-based application which the author (Sato, 2003; Sato 2008) created originally for searching the Berkeley FrameNet lexical database. FrameSQL now can handle the J...
Hiroaki Sato