Sciweavers

7868 search results - page 1303 / 1574
» Learning by Answer Sets
Sort
View
ASPDAC
2005
ACM
99views Hardware» more  ASPDAC 2005»
15 years 8 months ago
A fast counterexample minimization approach with refutation analysis and incremental SAT
- It is a hotly research topic to eliminate irrelevant variables from counterexample, to make it easier to be understood. BFL algorithm is the most effective Counterexample minim...
ShengYu Shen, Ying Qin, Sikun Li
EUROSSC
2008
Springer
15 years 8 months ago
Gaussian Process Person Identifier Based on Simple Floor Sensors
Abstract. This paper describes methods and sensor technology used to identify persons from their walking characteristics. We use an array of simple binary switch floor sensors to d...
Jaakko Suutala, Kaori Fujinami, Juha Röning
ECSCW
2007
15 years 8 months ago
A safe space to vent: Conciliation and conflict in distributed teams
: This paper considers the nature of conflict in relation to the environments within which distributed teams cooperate. Effective conflict management can bring great benefits to di...
Matt Billings, Leon Adam Watts
NIPS
2008
15 years 8 months ago
Cascaded Classification Models: Combining Models for Holistic Scene Understanding
One of the original goals of computer vision was to fully understand a natural scene. This requires solving several sub-problems simultaneously, including object detection, region...
Geremy Heitz, Stephen Gould, Ashutosh Saxena, Daph...
NIPS
2007
15 years 8 months ago
Discriminative K-means for Clustering
We present a theoretical study on the discriminative clustering framework, recently proposed for simultaneous subspace selection via linear discriminant analysis (LDA) and cluster...
Jieping Ye, Zheng Zhao, Mingrui Wu
« Prev « First page 1303 / 1574 Last » Next »