6 search results - page 1 / 2 » Arguing over Motivations within the V3A-Architecture for Sel... |
ICAART
2009
INSTICC
13 years 5 months ago
2009
INSTICC
TABLEAUX
1999
Springer
13 years 11 months ago
1999
Springer
We combine techniques originally developed for refutational first-order theorem proving within the clause tree framework with techniques for minimal model computation developed wi...
ICDE
2010
IEEE
13 years 7 months ago
2010
IEEE
— In this position paper, we motivate the need for streaming data integration in three main forms including across multiple streaming data sources, over multiple stream processin...
VTC
2007
IEEE
14 years 1 months ago
2007
IEEE
— In this paper, we characterize the achievable performance of a wavelet encoding-based videophone system, which further compresses and protects the wavelet-based video codec’s...
INFOCOM
2009
IEEE
14 years 2 months ago
2009
IEEE
—We consider a wireless network of n nodes that communicate over a common wireless medium under some interference constraints. Our work is motivated by the need for an efficient...