Sciweavers

4354 search results - page 42 / 871
» Classification-based objective functions
Sort
View
123
Voted
HAID
2009
Springer
15 years 12 days ago
Communicative Functions of Haptic Feedback
In this paper a number of examples are presented of how haptic and auditory feedback can be used for deictic referencing in collaborative virtual environments. Haptic feedback supp...
Jonas Moll, Eva-Lotta Sallnäs
ALGORITHMICA
2006
93views more  ALGORITHMICA 2006»
15 years 2 months ago
Simultaneous Optimization via Approximate Majorization for Concave Profits or Convex Costs
For multi-criteria problems and problems with poorly characterized objective, it is often desirable to simultaneously approximate the optimum solution for a large class of objecti...
Ashish Goel, Adam Meyerson
118
Voted
WSC
2008
15 years 5 months ago
The mathematics of continuous-variable simulation optimization
Continuous-variable simulation optimization problems are those optimization problems where the objective function is computed through stochastic simulation and the decision variab...
Sujin Kim, Shane G. Henderson
101
Voted
DBPL
1995
Springer
91views Database» more  DBPL 1995»
15 years 6 months ago
Extensible Objects for Database Evolution: Language Features and Implementation Issues
One of the limitations of commercially available object-oriented DBMSs is their inability to deal with objects that may change their type during their life and which exhibit a plu...
Antonio Albano, Milena Diotallevi, Giorgio Ghelli
152
Voted
ICFP
2012
ACM
13 years 5 months ago
Proof-producing synthesis of ML from higher-order logic
The higher-order logic found in proof assistants such as Coq and various HOL systems provides a convenient setting for the development and verification of pure functional program...
Magnus O. Myreen, Scott Owens