Sciweavers

4212 search results - page 283 / 843
» On Compressible Pairings and Their Computation
Sort
View
MOBIHOC
2008
ACM
16 years 6 months ago
Fast and quality-guaranteed data streaming in resource-constrained sensor networks
In many emerging applications, data streams are monitored in a network environment. Due to limited communication bandwidth and other resource constraints, a critical and practical...
Emad Soroush, Kui Wu, Jian Pei
CONCUR
2005
Springer
16 years 8 days ago
A Practical Application of Geometric Semantics to Static Analysis of Concurrent Programs
Abstract. In this paper we show how to compress efficiently the statespace of a concurrent system (here applied to a simple shared memory model, but this is no way limited to that ...
Eric Goubault, Emmanuel Haucourt

Dataset
1353views
14 years 5 months ago
QMUL Junction Dataset
QMUL junction dataset is for research on activity analysis and crowded scenes. Video length: 1 hour (90000 frames) Frame size: 360x288 Frame rate: 25 Hz Compression codec: ff...
174
Voted
MHCI
2007
Springer
16 years 26 days ago
Effective learn-quiz generation for handheld devices
In this demonstration, we present a system that enables users to easily generate quizzes for mobile devices. With our program, they can create multiple choice tests and general qu...
Wolfgang Hürst, Sabine Jung, Martina Welte
BIRTHDAY
2008
Springer
15 years 8 months ago
History Dependent Automata for Service Compatibility
We use History Dependent Automata (HD-automata) as a syntax-indepentend formalism to check compatibility of services at binding time in Service-Oriented Computing. Informally speak...
Vincenzo Ciancia, Gian Luigi Ferrari, Marco Pistor...