12441 search results - page 2237 / 2489 » Frame Based Features |
161
click to vote
TIFS
2010
15 years 5 months ago
2010
—This paper addresses a forensic tool used to assess audio authenticity. The proposed method is based on detecting phase discontinuity of the power grid signal; this signal, refe...
166
click to vote
TKDE
2010
15 years 5 months ago
2010
Abstract—The imperfect nature of context in Ambient Intelligence environments and the special characteristics of the entities that possess and share the available context informa...
169
click to vote
TOPLAS
2010
15 years 5 months ago
2010
Pict project. We define two levels of abstraction as calculi with precise semantics: a low-level Nomadic π calculus with migration and location-dependent communication, and a hig...
203
click to vote
VTC
2010
IEEE
15 years 5 months ago
2010
IEEE
Abstract—The IEEE 802.11 wireless LAN (WLAN) is a timetested technology, but it is still evolving towards even higher speeds and richer features. For multi-room IPTV delivery, wh...
219
click to vote
WOLLIC
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. The λ-calculus with de Bruijn indices, called λdB, assembles each α-class of λ-terms into a unique term, using indices instead of variable names. Intersection types p...