Sciweavers

2861 search results - page 440 / 573
» Parallel Online Learning
Sort
View
ICALP
2009
Springer
14 years 8 months ago
LTL Path Checking Is Efficiently Parallelizable
We present an AC1 (logDCFL) algorithm for checking LTL formulas over finite paths, thus establishing that the problem can be efficiently parallelized. Our construction provides a f...
Lars Kuhtz, Bernd Finkbeiner
CVPR
2010
IEEE
14 years 4 months ago
Hierarchical Convolutional Sparse Image Decomposition
Building robust low and mid-level image representations, beyond edge primitives, is a long-standing goal in vision. Many existing feature detectors spatially pool edge information...
Matthew Zeiler, Dilip Krishnan, Graham Taylor, Rob...
AIED
2005
Springer
14 years 1 months ago
Towards Data-Driven Design of a Peer Collaborative Agent
The research literature investigating the construction of tutorial dialogue and learning companion environments present parallel experiences in attempting to emulate what has been ...
Gahgene Gweon, Carolyn Penstein Rosé, Regan...
SPATIALCOGNITION
2004
Springer
14 years 1 months ago
Imagined Perspective-Changing Within and Across Novel Environments
Results suggesting that changing perspective and switching across spatial environments held in memory are processes that take place in parallel were obtained from a task-switching ...
Marios N. Avraamides, Jonathan W. Kelly
APWEB
2006
Springer
13 years 11 months ago
Multi-agent Web Text Mining on the Grid for Enterprise Decision Support
Abstract. In this study, a multi-agent web text mining system on the grid is developed to support enterprise decision-making. First, an individual intelligent learning agent that l...
Kin Keung Lai, Lean Yu, Shouyang Wang