Sciweavers

5510 search results - page 844 / 1102
» Mathematics
Sort
View
ADHOC
2007
126views more  ADHOC 2007»
15 years 6 months ago
Energy-aware routing in sensor networks: A large system approach
In many sensor networking environments, the sensor nodes have limited battery capacity and processing power. Hence, it is imperative to develop solutions that are energy-efficient...
Longbi Lin, Ness B. Shroff, R. Srikant
AI
2007
Springer
15 years 6 months ago
The Carneades model of argument and burden of proof
We present a formal, mathematical model of argument structure and evaluation, taking seriously the procedural and dialogical aspects of argumentation. The model applies proof stan...
Thomas F. Gordon, Henry Prakken, Douglas Walton
AMC
2010
143views more  AMC 2010»
15 years 6 months ago
Fixed-point iterations in determining a Tikhonov regularization parameter in Kirsch's factorization method
Kirsch's factorization method is a fast inversion technique for visualizing the profile of a scatterer from measurements of the far-field pattern. The mathematical basis of t...
Koung Hee Leem, George Pelekanos, Fermín S....
AMAI
2007
Springer
15 years 6 months ago
Decision procedures for extensions of the theory of arrays
The theory of arrays, introduced by McCarthy in his seminal paper “Toward a mathematical science of computation”, is central to Computer Science. Unfortunately, the theory alo...
Silvio Ghilardi, Enrica Nicolini, Silvio Ranise, D...
AMC
2007
129views more  AMC 2007»
15 years 6 months ago
Multi-objective task allocation in distributed computing systems by hybrid particle swarm optimization
In a distributed computing system (DCS), we need to allocate a number of modules to different processors for execution. It is desired to maximize the processor synergism in order...
Peng-Yeng Yin, Shiuh-Sheng Yu, Pei-Pei Wang, Yi-Te...