Sciweavers

3984 search results - page 657 / 797
» A Model-Driven Transformation Method
Sort
View
WWW
2006
ACM
16 years 5 months ago
Using graph matching techniques to wrap data from PDF documents
Wrapping is the process of navigating a data source, semiautomatically extracting data and transforming it into a form suitable for data processing applications. There are current...
Tamir Hassan, Robert Baumgartner
WWW
2004
ACM
16 years 5 months ago
A diagrammatic inference system for the web
We developed a diagrammatic inference system for the World Wide Web. Our system enables the creation of diagrams such that the information contained in them can be searched and in...
Michael Wollowski, Peter Nei, Chris Barrell
DCC
2009
IEEE
16 years 5 months ago
Clustered Reversible-KLT for Progressive Lossy-to-Lossless 3d Image Coding
The RKLT is a lossless approximation to the KLT, and has been recently employed for progressive lossy-to-lossless coding of hyperspectral images. Both yield very good coding perfo...
Ian Blanes, Joan Serra-Sagristà
CHI
2009
ACM
16 years 5 months ago
An intuitive model of perceptual grouping for HCI design
Understanding and exploiting the abilities of the human visual system is an important part of the design of usable user interfaces and information visualizations. Good design enab...
Ruth Rosenholtz, Nathaniel R. Twarog, Nadja Schink...
VLSID
2002
IEEE
177views VLSI» more  VLSID 2002»
16 years 4 months ago
RTL-Datapath Verification using Integer Linear Programming
Satisfiability of complex word-level formulas often arises as a problem in formal verification of hardware designs described at the register transfer level (RTL). Even though most...
Raik Brinkmann, Rolf Drechsler