Sciweavers

2243 search results - page 77 / 449
» Contracts for Mobile Processes
Sort
View
130
Voted
AUTOMATICA
2010
134views more  AUTOMATICA 2010»
15 years 3 months ago
Nonlinear filtering in target tracking using cooperative mobile sensors
Collaborative signal processing and sensor deployment have been among the most important research tasks in target tracking using networked sensors. In this paper, the mathematical...
Jiangping Hu, Xiaoming Hu
132
Voted
IJMC
2006
58views more  IJMC 2006»
15 years 3 months ago
Hoarding content for mobile learning
: M-learning is a rapidly expanding recently domain. Provoked by the fast advances of mobile technologies different applications and systems are developed continuously. Here we add...
Anna Trifonova, Marco Ronchetti
135
Voted
CORR
2010
Springer
143views Education» more  CORR 2010»
15 years 3 months ago
Expressiveness of Generic Process Shape Types
METAI is a generic process calculus that can be instantiated by supplying rewriting rules defining an operational semantics to make numerous process calculi such as the -calculus,...
Jan Jakubuv, J. B. Wells
138
Voted
EDBT
2008
ACM
128views Database» more  EDBT 2008»
16 years 3 months ago
Processing transitive nearest-neighbor queries in multi-channel access environments
Wireless broadcast is an efficient way for information dissemination due to its good scalability [10]. Existing works typically assume mobile devices, such as cell phones and PDAs...
Xiao Zhang, Wang-Chien Lee, Prasenjit Mitra, Baihu...
137
Voted
ESTIMEDIA
2007
Springer
15 years 9 months ago
Leveraging Predicated Execution for Multimedia Processing
—Modern compression standards such as H.264, DivX, or VC-1 provide astonishing quality at the costs of steadily increasing processing requirements. Therefore, efficient solution...
Dietmar Ebner, Florian Brandner, Andreas Krall