Sciweavers

598 search results - page 57 / 120
» Stably compact spaces
Sort
View
85
Voted
IJCAI
2001
15 years 16 days ago
Mode Estimation of Model-based Programs: Monitoring Systems with Complex Behavior
Deductive, mode-estimation has become an essential component of robotic space systems, like NASA's deep space probes. Future robots will serve as components of large robotic ...
Brian C. Williams, Seung Chung, Vineet Gupta
PR
2002
122views more  PR 2002»
14 years 10 months ago
High-order Fisher's discriminant analysis
This paper introduces a novel nonlinear extension of Fisher's classical linear discriminant analysis (FDA) known as high-order Fisher's discriminant analysis (HOFDA). Th...
Alejandro Sierra
EUSFLAT
2009
105views Fuzzy Logic» more  EUSFLAT 2009»
14 years 9 months ago
Two Results About Optimization of Fuzzy Variable Functions
Abstract-- We discuss some optimization problems for fuzzy variable functions and show two interesting results. First result is related to conditions for existence of global optima...
A. David Báez-Sánchez
ATVA
2011
Springer
240views Hardware» more  ATVA 2011»
13 years 11 months ago
Self-Loop Aggregation Product - A New Hybrid Approach to On-the-Fly LTL Model Checking
We present the Self-Loop Aggregation Product (SLAP), a new hybrid technique that replaces the synchronized product used in the automata-theoretic approach for LTL model checking. T...
Alexandre Duret-Lutz, Kais Klai, Denis Poitrenaud,...
MICCAI
2005
Springer
16 years 23 hour ago
Support Vector Clustering for Brain Activation Detection
In this paper, we propose a new approach to detect activated time series in functional MRI using support vector clustering (SVC). We extract Fourier coefficients as the features of...
Defeng Wang, Lin Shi, Daniel S. Yeung, Pheng-Ann H...