Sciweavers

549 search results - page 38 / 110
» On the Reading of Tables of Contents
Sort
View
POPL
2011
ACM
12 years 11 months ago
Precise reasoning for programs using containers
Containers are general-purpose data structures that provide functionality for inserting, reading, removing, and iterating over elements. Since many applications written in modern ...
Isil Dillig, Thomas Dillig, Alex Aiken
AICT
2006
IEEE
122views Communications» more  AICT 2006»
14 years 3 months ago
Optimizing and Balancing Load in Fully Distributed P2P File Sharing Systems
A peer-to-peer file sharing system includes a lookup and a content distribution protocol. Very efficient peer-to-peer protocols exist for content distribution, but efficient in...
Anh-Tuan Gai, Laurent Viennot
PCM
2004
Springer
180views Multimedia» more  PCM 2004»
14 years 2 months ago
An Adaptive Scene Compositor Model in MPEG-4 Player for Mobile Device
Abstract. MPEG-4 supports dynamic scene composition through various interactions such as adding/removing/replacing objects and changing object’s properties. MPEG-4 content can ex...
Hyunju Lee, Sangwook Kim
FLAIRS
2008
13 years 11 months ago
Answer Set Programming on Expert Feedback to Populate and Extend Dynamic Ontologies
The next generation of online reference works will require structured representations of their contents in order to support scholarly functions such as semantic search, automated ...
Mathias Niepert, Cameron Buckner, Colin Allen
GLDV
2001
13 years 10 months ago
Coherence in the Learning System k-med
The advantages of a hypermedia learning system are the possibility to adapt the content to the learner and to maintain the content easily due to the modular structure. The disadva...
Ralf Steinmetz, Cornelia Seeberg, Achim Steinacker