Sciweavers

8760 search results - page 1708 / 1752
» Modeling users of intelligent systems
Sort
View
JNCA
2007
125views more  JNCA 2007»
15 years 3 months ago
Distributed middleware architectures for scalable media services
The fusion of Multimedia and Internet technology has introduced an ever-increasing demand for large-scale reliable media services. This exposes the scalability limitations of curr...
Vana Kalogeraki, Demetrios Zeinalipour-Yazti, Dimi...
ASE
2002
160views more  ASE 2002»
15 years 3 months ago
Proving Invariants of I/O Automata with TAME
This paper describes a specialized interface to PVS called TAME (Timed Automata Modeling Environment) which provides automated support for proving properties of I/O automata. A maj...
Myla Archer, Constance L. Heitmeyer, Elvinia Ricco...

Publication
267views
16 years 11 days ago
Interactive planar reconstruction of objects and scenes
3D reconstruction from 2D images is an active research topic in the computer vision community. Classical algorithms like Structure From Motion (SFM) and Multi-View Stereo (MVS) are...
Adarsh Kowdle, Yao-Jen Chang, Tsuhan Chen
170
Voted
CORR
2010
Springer
219views Education» more  CORR 2010»
15 years 2 months ago
Cooperative Algorithms for MIMO Interference Channels
Interference alignment is a transmission technique for exploiting all available degrees of freedom in the symmetric frequency- or time-selective interference channel with an arbit...
Steven W. Peters, Robert W. Heath Jr.
CORR
2011
Springer
213views Education» more  CORR 2011»
14 years 11 months ago
Liquidsoap: a High-Level Programming Language for Multimedia Streaming
Generating multimedia streams, such as in a netradio, is a task which is complex and difficult to adapt to every users’ needs. We introduce a novel approach in order to achieve i...
David Baelde, Romain Beauxis, Samuel Mimram
« Prev « First page 1708 / 1752 Last » Next »