Sciweavers

2314 search results - page 152 / 463
» Monoids over domains
Sort
View
CASC
2010
Springer
151views Mathematics» more  CASC 2010»
15 years 25 days ago
Supporting Global Numerical Optimization of Rational Functions by Generic Symbolic Convexity Tests
Convexity is an important property in nonlinear optimization since it allows to apply efficient local methods for finding global solutions. We propose to apply symbolic methods t...
Winfried Neun, Thomas Sturm, Stefan Vigerske
121
Voted
ITS
2010
Springer
146views Multimedia» more  ITS 2010»
15 years 9 days ago
Towards Intelligent Tutoring with Erroneous Examples: A Taxonomy of Decimal Misconceptions
In the mathematics domain of decimals, students have common and persistent misconceptions. These misconceptions have been identified, studied, and published by many researchers, sp...
Seiji Isotani, Bruce M. McLaren, Max Altman
JGO
2010
138views more  JGO 2010»
15 years 9 days ago
Continuous GRASP with a local active-set method for bound-constrained global optimization
Abstract. Global optimization seeks a minimum or maximum of a multimodal function over a discrete or continuous domain. In this paper, we propose a hybrid heuristic – based on th...
Ernesto G. Birgin, Erico M. Gozzi, Mauricio G. C. ...
SODA
2010
ACM
143views Algorithms» more  SODA 2010»
15 years 7 days ago
Thin Partitions: Isoperimetric Inequalities and a Sampling Algorithm for Star Shaped Bodies
Star-shaped bodies are an important nonconvex generalization of convex bodies (e.g., linear programming with violations). Here we present an efficient algorithm for sampling a giv...
Karthekeyan Chandrasekaran, Daniel Dadush, Santosh...
ACL
2010
14 years 12 months ago
TrustRank: Inducing Trust in Automatic Translations via Ranking
The adoption of Machine Translation technology for commercial applications is hampered by the lack of trust associated with machine-translated output. In this paper, we describe T...
Radu Soricut, Abdessamad Echihabi