Sciweavers

3260 search results - page 139 / 652
» Lightweight linked data
Sort
View
MM
2005
ACM
181views Multimedia» more  MM 2005»
15 years 12 months ago
Tracking news stories across different sources
Information linkage is becoming more and more important in this digital age. In this paper, we propose a concept tracking method, which links the news stories with the same topic ...
Yun Zhai, Mubarak Shah
ICCCN
2007
IEEE
16 years 18 days ago
Distributed Channel Allocation In Multi-Radio Wireless Mesh Networks
Abstract— One of the major advantages of wireless communication over wired is the flexibility when creating links between nodes. But this comes at a price as influences from ou...
Jeroen Avonts, Nik Van den Wijngaert, Chris Blondi...
PERCOM
2008
ACM
16 years 5 months ago
Automatic form filling on mobile devices
Filling out forms of web based services on mobile devices is a very time consuming and frustrating task for users because of the limited text input capabilities. This is a critica...
Enrico Rukzio, Chie Noda, Alexander De Luca, John ...
SAS
2007
Springer
16 years 11 days ago
Shape Analysis with Structural Invariant Checkers
Abstract. Developer-supplied data structure specifications are important to shape analyses, as they tell the analysis what information should be tracked in order to obtain the des...
Bor-Yuh Evan Chang, Xavier Rival, George C. Necula
FMCO
2005
Springer
153views Formal Methods» more  FMCO 2005»
15 years 11 months ago
Smallfoot: Modular Automatic Assertion Checking with Separation Logic
Abstract. Separation logic is a program logic for reasoning about programs that manipulate pointer data structures. We describe Smallfoot, a tool for checking certain lightweight s...
Josh Berdine, Cristiano Calcagno, Peter W. O'Hearn