Sciweavers

5510 search results - page 180 / 1102
» Mathematics
Sort
View
IAJIT
2010
99views more  IAJIT 2010»
15 years 2 months ago
Hybrid computing algorithm in representing solid model
: This paper presents an algorithm, which is a hybrid-computing algorithm in representing solid model. The proposed algorithm contains two steps namely reconstruction and represent...
Muhammad Matondang, Habibollah Haron
JMLR
2006
108views more  JMLR 2006»
15 years 4 months ago
The Interplay of Optimization and Machine Learning Research
The fields of machine learning and mathematical programming are increasingly intertwined. Optimization problems lie at the heart of most machine learning approaches. The Special T...
Kristin P. Bennett, Emilio Parrado-Hernánde...
CADE
2007
Springer
16 years 4 months ago
Formalization of Continuous Probability Distributions
Continuous probability distributions are widely used to mathematically describe random phenomena in engineering and physical sciences. In this paper, we present a methodology that ...
Osman Hasan, Sofiène Tahar
TFM
2009
Springer
113views Formal Methods» more  TFM 2009»
15 years 10 months ago
Teaching Concurrency: Theory in Practice
Teaching courses that rely on sound mathematical principles is nowadays a challenging task at many universities. On the one hand there is an increased demand for educating students...
Luca Aceto, Anna Ingólfsdóttir, Kim ...
MKM
2009
Springer
15 years 10 months ago
MathLang Translation to Isabelle Syntax
Converting mathematical documents from a human-friendly natural language to a form that can be readily processed by computers is often a tedious, manual task. Translating between v...
Robert Lamar, Fairouz Kamareddine, J. B. Wells