Sciweavers

9051 search results - page 1545 / 1811
» On detectability of stochastic systems
Sort
View
IPSN
2007
Springer
16 years 24 days ago
MeshEye: a hybrid-resolution smart camera mote for applications in distributed intelligent surveillance
Surveillance is one of the promising applications to which smart camera motes forming a vision-enabled network can add increasing levels of intelligence. We see a high degree of i...
Stephan Hengstler, Daniel Prashanth, Sufen Fong, H...
PPDP
2007
Springer
16 years 23 days ago
Mechanized metatheory model-checking
The problem of mechanically formalizing and proving metatheoretic properties of programming language calculi, type systems, operational semantics, and related formal systems has r...
James Cheney, Alberto Momigliano
ICMCS
2006
IEEE
235views Multimedia» more  ICMCS 2006»
16 years 21 days ago
An Event-Driven Sports Video Adaptation for the MPEG-21 DIA Framework
We present an event-driven video adaptation system in this paper. Events are detected by audio/video analysis and annotated by the description schemes (DSs) provided by MPEG-7 Mul...
Min Xu, Jiaming Li, Yiqun Hu, Liang-Tien Chia, Bu-...
ADBIS
2005
Springer
147views Database» more  ADBIS 2005»
16 years 6 days ago
Declarative Data Fusion - Syntax, Semantics, and Implementation
In today’s integrating information systems data fusion, i.e., the merging of multiple tuples about the same real-world object into a single tuple, is left to ETL tools and other ...
Jens Bleiholder, Felix Naumann
INDOCRYPT
2004
Springer
16 years 21 hour ago
New ID-Based Threshold Signature Scheme from Bilinear Pairings
ID-based public key systems allow the user to use his/her identity as the public key, which can simplify key management procedure compared with CA-based public key systems. However...
Xiaofeng Chen, Fangguo Zhang, Divyan M. Konidala, ...
« Prev « First page 1545 / 1811 Last » Next »