Sciweavers

337 search results - page 59 / 68
» Semantic Integration through Invariants
Sort
View
AGP
2003
IEEE
15 years 5 months ago
Transforming co-NP Checks to Answer Set Computation by Meta-Interpretation
Many NP-complete problems can be encoded in the answer set semantics of logic programs in a very concise way, where the encoding reflects the typical “guess and check” nature ...
Thomas Eiter, Axel Polleres
MMM
2003
Springer
136views Multimedia» more  MMM 2003»
15 years 5 months ago
Modeling Data and User Characteristics by Peer Indexing in Content-based Image Retrieval
: Modeling the characteristics of specific images and individual users is a critical issue in content-based image retrieval but insufficiently addressed by the current retrieval ap...
Jun Yang 0003, Qing Li, Yueting Zhuang
HICSS
2002
IEEE
130views Biometrics» more  HICSS 2002»
15 years 4 months ago
Using the XML-Based Clinical Document Architecture for Exchange of Structured Discharge Summaries
The XML-based Clinical Document Architecture (CDA) for document exchange defines a three-level document architecture with each higher level adding more specificity to the markup o...
Grace I. Paterson, Michael A. Shepherd, Xiaoli Wan...
CIKM
2001
Springer
15 years 4 months ago
Caching Constrained Mobile Data
As mobile devices get ubiquitous and grow in computational power, their management of interdependent data also becomes increasingly important. The mobile environment exhibits all ...
Subhasish Mazumdar, Mateusz Pietrzyk, Panos K. Chr...
UIST
2000
ACM
15 years 4 months ago
Speed-dependent automatic zooming for browsing large documents
We propose a navigation technique for browsing large documents that integrates rate-based scrolling with automatic zooming. The view automatically zooms out when the user scrolls ...
Takeo Igarashi, Ken Hinckley