Sciweavers

10454 search results - page 367 / 2091
» Modeling the Experience of Emotion
Sort
View
PG
2002
IEEE
15 years 11 months ago
Shape-Similarity Search of Three-Dimensional Models Using Parameterized Statistics
In this paper, we propose a method for shape-similarity search of 3D polygonal-mesh models. The system accepts triangular meshes, but tolerates degenerated polygons, disconnected ...
Ryutarou Ohbuchi, Tomo Otagiri, Masatoshi Ibato, T...
178
Voted
ECML
2001
Springer
15 years 11 months ago
Discovering Admissible Simultaneous Equation Models from Observed Data
Conventional work on scienti c discovery such as BACON derives empirical law equations from experimental data. In recent years, SDS introducing mathematical admissibility constrain...
Takashi Washio, Hiroshi Motoda, Yuji Niwa
172
Voted
NLPRS
2001
Springer
15 years 11 months ago
A Probabilistic Model for Japanese Zero Pronoun Resolution Integrating Syntactic and Semantic Features
This paper proposes a method to resolve Japanese zero pronouns by identifying their antecedents. Our method uses a probabilistic model, which is decomposed into syntactic and sema...
Kazuhiro Seki, Atsushi Fujii, Tetsuya Ishikawa
OOIS
2001
Springer
15 years 11 months ago
Towards a Model-Driven Approach to Reuse
A model-driven reuse approach that is based on an organization’s Enterprise Architecture (EA) and on the Unified Modeling Language (UML) is proposed. The framework embodying th...
Robert B. France, Sudipto Ghosh, Daniel E. Turk
CAV
2000
Springer
89views Hardware» more  CAV 2000»
15 years 11 months ago
Tuning SAT Checkers for Bounded Model Checking
Abstract. Bounded Model Checking based on SAT methods has recently been introduced as a complementary technique to BDD-based Symbolic Model Checking. The basic idea is to search fo...
Ofer Strichman