Sciweavers

4354 search results - page 42 / 871
» Classification-based objective functions
Sort
View
HAID
2009
Springer
15 years 3 months 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
135
Voted
ALGORITHMICA
2006
93views more  ALGORITHMICA 2006»
15 years 6 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
WSC
2008
15 years 8 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
DBPL
1995
Springer
91views Database» more  DBPL 1995»
15 years 9 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
ICFP
2012
ACM
13 years 8 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