Sciweavers

24421 search results - page 296 / 4885
» Communicating Complex Systems
Sort
View
ICC
2007
IEEE
116views Communications» more  ICC 2007»
15 years 11 months ago
User Selection for SDMA Beamforming with Imperfect CSI in MIMO-OFDM Systems
Timothy A. Thomas, Bishwarup Mondal, Kevin L. Baum...
FGCN
2008
IEEE
116views Communications» more  FGCN 2008»
15 years 9 months ago
A Document Based Framework for Smart Object Systems
Fahim Kawsar, Tatsuo Nakajima, Jong Hyuk Park, You...
ITA
2007
15 years 7 months ago
Three notes on the complexity of model checking fixpoint logic with chop
Abstract. This paper analyses the complexity of model checking Fixpoint Logic with Chop – an extension of the modal µ-calculus with a sequential composition operator. It uses tw...
Martin Lange
TCC
2007
Springer
170views Cryptology» more  TCC 2007»
16 years 1 months ago
Secure Linear Algebra Using Linearly Recurrent Sequences
In this work we present secure two-party protocols for various core problems in linear algebra. Our main result is a protocol to obliviously decide singularity of an encrypted matr...
Eike Kiltz, Payman Mohassel, Enav Weinreb, Matthew...
ICALT
2009
IEEE
16 years 2 months ago
Authoring Adaptive Tutoring Systems for Complex Visual Skills
Alexandre Ibrahim Direne, Luis Carlos Erpen De Bon...