Sciweavers

890 search results - page 145 / 178
» Improving the Consistency of Relative Map
Sort
View
KDD
2000
ACM
162views Data Mining» more  KDD 2000»
14 years 1 months ago
Data Mining from Functional Brain Images
Recent advances in functional brain imaging enable identication of active areas of a brain performing a certain function. Induction of logical formulas describing relations betwee...
Mitsuru Kakimoto, Chie Morita, Yoshiaki Kikuchi, H...
ESA
1995
Springer
182views Algorithms» more  ESA 1995»
14 years 1 months ago
A Geometric Approach to Betweenness
An input to the betweenness problem contains m constraints over n real variables (points). Each constraint consists of three points, where one of the points is specified to lie in...
Benny Chor, Madhu Sudan
BMCBI
2006
108views more  BMCBI 2006»
13 years 9 months ago
SPIDer: Saccharomyces protein-protein interaction database
Background: Since proteins perform their functions by interacting with one another and with other biomolecules, reconstructing a map of the protein-protein interactions of a cell,...
Xiaomei Wu, Lei Zhu, Jie Guo, Cong Fu, Hongjun Zho...
MICS
2010
81views more  MICS 2010»
13 years 8 months ago
Tactics for Hierarchical Proof
Abstract. There is something of a discontinuity at the heart of popular tactical theorem provers. Low-level, fully-checked mechanical proofs are large trees consisting of primitive...
David Aspinall, Ewen Denney, Christoph Lüth
SMC
2010
IEEE
187views Control Systems» more  SMC 2010»
13 years 8 months ago
Estimation of psychological stress levels using Facial Expression Spatial Charts
—This paper presents a new framework to describe individual facial expression spaces, particularly addressing the dynamic diversity of facial expressions that appear as an exclam...
Hirokazu Madokoro, Kazuhito Sato