Sciweavers

23590 search results - page 4292 / 4718
» Algorithm Performance Contest
Sort
View
NIPS
1997
15 years 9 months ago
Extended ICA Removes Artifacts from Electroencephalographic Recordings
Severe contamination of electroencephalographic (EEG) activity by eye movements, blinks, muscle, heart and line noise is a serious problem for EEG interpretation and analysis. Rej...
Tzyy-Ping Jung, Colin Humphries, Te-Won Lee, Scott...
CASCON
1993
106views Education» more  CASCON 1993»
15 years 8 months ago
Enterprise in context: assessing the usability of parallel programming environments
The growth of commercial and academic interest in parallel and distributed computing during the past fifteen years has been accompanied by a corresponding increase in the number o...
Gregory V. Wilson, Jonathan Schaeffer, Duane Szafr...
FORTE
1994
15 years 8 months ago
An improvement in formal verification
Critical safety and liveness properties of a concurrent system can often be proven with the help of a reachability analysis of a finite state model. This type of analysis is usual...
Gerard J. Holzmann, Doron Peled
AIPS
2009
15 years 8 months ago
Inference and Decomposition in Planning Using Causal Consistent Chains
Current state-of-the-art planners solve problems, easy and hard alike, by search, expanding hundreds or thousands of nodes. Yet, given the ability of people to solve easy problems...
Nir Lipovetzky, Hector Geffner
ATAL
2010
Springer
15 years 8 months ago
Distributed coordination of mobile agent teams: the advantage of planning ahead
We consider the problem of coordinating a team of agents engaged in executing a set of inter-dependent, geographically dispersed tasks in an oversubscribed and uncertain environme...
Laura Barbulescu, Zachary B. Rubinstein, Stephen F...
« Prev « First page 4292 / 4718 Last » Next »