Sciweavers

3131 search results - page 509 / 627
» Generalized connection caching
Sort
View
LOGCOM
2010
102views more  LOGCOM 2010»
15 years 4 months ago
A Note on Expressive Coalgebraic Logics for Finitary Set Functors
This paper has two purposes. The first is to present a final coalgebra construction for finitary endofunctors on Set that uses a certain subset L∗ of the limit L of the firs...
Lawrence S. Moss
PERCOM
2010
ACM
15 years 4 months ago
HIP: Health integration platform
—This paper introduces a new software development platform specifically designed for wireless health applications. Wireless health applications follow a unique paradigm encompas...
Jonathan Woodbridge, Hyduke Noshadi, Ani Nahapetia...
PPSN
2010
Springer
15 years 4 months ago
Indirect Encoding of Neural Networks for Scalable Go
Abstract. The game of Go has attracted much attention from the artificial intelligence community. A key feature of Go is that humans begin to learn on a small board, and then incr...
Jason Gauci, Kenneth O. Stanley
SIAMDM
2010
140views more  SIAMDM 2010»
15 years 4 months ago
Retractions to Pseudoforests
For a fixed graph H, let Ret(H) denote the problem of deciding whether a given input graph is retractable to H. We classify the complexity of Ret(H) when H is a graph (with loops ...
Tomás Feder, Pavol Hell, Peter Jonsson, And...
SIAMSC
2010
157views more  SIAMSC 2010»
15 years 4 months ago
Certified Reduced Basis Methods and Output Bounds for the Harmonic Maxwell's Equations
We propose certified reduced basis methods for the efficient and reliable evaluation of a general output that is implicitly connected to a given parameterized input through the ha...
Yanlai Chen, Jan S. Hesthaven, Yvon Maday, Jer&oac...