Sciweavers

5510 search results - page 369 / 1102
» Mathematics
Sort
View
INFOCOM
2012
IEEE
13 years 9 months ago
Algorithm design for femtocell base station placement in commercial building environments
Abstract—Although femtocell deployments in residential buildings have been increasingly prevalent, femtocell deployment in commercial building environments remains in its infancy...
Jia Liu, Qian Chen, Hanif D. Sherali
TOCL
2012
235views Formal Methods» more  TOCL 2012»
13 years 9 months ago
Topological and Simplicial Models of Identity Types
racting these leads us to introduce the notion of a path object category. This is a relatively simple axiomatic framework, which is nonetheless sufficiently strong to allow the con...
Benno van den Berg, Richard Garner
ICFP
2012
ACM
13 years 9 months ago
Propositions as sessions
Continuing a line of work by Abramsky (1994), by Bellin and Scott (1994), and by Caires and Pfenning (2010), among others, this paper presents CP, a calculus in which propositions...
Philip Wadler
193
Voted
AAAI
2012
13 years 9 months ago
Pre-Symptomatic Prediction of Plant Drought Stress Using Dirichlet-Aggregation Regression on Hyperspectral Images
Pre-symptomatic drought stress prediction is of great relevance in precision plant protection, ultimately helping to meet the challenge of “How to feed a hungry world?”. Unfor...
Kristian Kersting, Zhao Xu, Mirwaes Wahabzada, Chr...

Book
7793views
17 years 5 months ago
Introduction to Neural Networks for C#
"Introduction to Neural Networks fpr C#, Second Edition, introduces the C# programmer to the world of Neural Networks and Artificial Intelligence. Neural network architectures...
Jeff Heaton