Sciweavers

1689 search results - page 204 / 338
» Refining abstract interpretations
Sort
View
CORR
2006
Springer
189views Education» more  CORR 2006»
15 years 4 months ago
Node-Based Optimal Power Control, Routing, and Congestion Control in Wireless Networks
Abstract--In wireless networks, important network functionalities such as power control, rate allocation, routing, and congestion control must be optimized in a coherent and integr...
Yufang Xi, Edmund M. Yeh
IJISTA
2008
139views more  IJISTA 2008»
15 years 4 months ago
Spherical light field rendering in application for analysis by synthesis
Abstract: This paper presents a novel approach for object classification and pose estimation which employs spherical light field rendering to generate virtual views based on synthe...
Severin Todt, Matthias Langer, Christof Rezk-Salam...
IPM
2008
52views more  IPM 2008»
15 years 4 months ago
Investigating the information-seeking behaviour of academic lawyers: From Ellis's model to design
by studying lawyers, analyse information-seeking at a high level of abstraction and are only likely to lead to broad-scoped design insights. We illustrate that one potentially usef...
Stephann Makri, Ann Blandford, Anna Louise Cox
JSAC
2008
124views more  JSAC 2008»
15 years 4 months ago
Design Tradeoffs and Hardware Architecture for Real-Time Iterative MIMO Detection using Sphere Decoding and LDPC Coding
Abstract-- We explore the performance and hardware complexity tradeoffs associated with performing iterative multipleinput multiple-output (MIMO) detection using a sphere decoder a...
Hyungjin Kim, Dong-U Lee, John D. Villasenor
JSYML
2008
78views more  JSYML 2008»
15 years 4 months ago
Hierarchies of forcing axioms I
Abstract. We prove new upper bound theorems on the consistency strengths of SPFA(), SPFA(-linked) and SPFA(+ -cc). Our results are in terms of (, )-subcompactness, which is a new l...
Itay Neeman, Ernest Schimmerling