Sciweavers

2086 search results - page 52 / 418
» Mathematical Theory Exploration
Sort
View
AISC
1998
Springer
14 years 28 days ago
Reasoning About Coding Theory: The Benefits We Get from Computer Algebra
The use of computer algebra is usually considered beneficial for mechanised reasoning in mathematical domains. We present a case study, in the application domain of coding theory, ...
Clemens Ballarin, Lawrence C. Paulson
CORR
2008
Springer
211views Education» more  CORR 2008»
13 years 8 months ago
Competitive Design of Multiuser MIMO Systems based on Game Theory: A Unified View
Abstract--This paper considers the noncooperative maximization of mutual information in the Gaussian interference channel in a fully distributed fashion via game theory. This probl...
Gesualdo Scutari, Daniel Pérez Palomar, Ser...
ACSC
2006
IEEE
14 years 2 months ago
Modelling layer 2 and layer 3 device bandwidths using B-node theory
Modern computer networks contain an amalgamation of devices and technologies, with the performance exhibited by each central to digital communications. Varieties of methods exist ...
S. Cikara, Stanislaw P. Maj, David T. Shaw
CSCW
2012
ACM
12 years 4 months ago
Doing Business with Theory: Communities of Practice in Knowledge Management
We explore how the notion of communities of practice (CoPs) was translated and
Norman Makoto Su, Hiroko Wilensky, David F. Redmil...
MOBISYS
2007
ACM
14 years 8 months ago
Toward highly-available WSNs for assisted living
In response to the consistent increase of elder people living in their apartments, and the need for innovative non-obtrusive tools to connect elders to their caregivers, we starte...
Safwan Al-Omari, Weisong Shi