Sciweavers

3663 search results - page 175 / 733
» Problems in the ontology of computer programs
Sort
View
ICMAS
2000
15 years 7 months ago
Integer Programming for Combinatorial Auction Winner Determination
Combinatorial auctions are important as they enable bidders to place bids on combinations of items; compared to other auction mechanisms, they often increase the efficiency of the...
Arne Andersson, Mattias Tenhunen, Fredrik Ygge
FAC
2010
106views more  FAC 2010»
15 years 3 months ago
Automatic verification of Java programs with dynamic frames
Framing in the presence of data abstraction is a challenging and important problem in the verification of object-oriented programs [LLM07]. The dynamic frames approach is a promisi...
Jan Smans, Bart Jacobs, Frank Piessens, Wolfram Sc...
GECCO
2003
Springer
101views Optimization» more  GECCO 2003»
15 years 11 months ago
Population Implosion in Genetic Programming
With the exception of a small body of adaptive-parameter literature, evolutionary computation has traditionally favored keeping the population size constant through the course of t...
Sean Luke, Gabriel Catalin Balan, Liviu Panait
CVPR
2010
IEEE
15 years 9 months ago
Co-clustering of Image Segments Using Convex Optimization Applied to EM Neuronal Reconstruction
This paper addresses the problem of jointly clustering two segmentations of closely correlated images. We focus in particular on the application of reconstructing neuronal structu...
Shiv Vitaladevuni, Ronen Basri
CVPR
2007
IEEE
16 years 8 months ago
Enhanced Level Building Algorithm for the Movement Epenthesis Problem in Sign Language Recognition
One of the hard problems in automated sign language recognition is the movement epenthesis (me) problem. Movement epenthesis is the gesture movement that bridges two consecutive s...
Ruiduo Yang, Sudeep Sarkar, Barbara L. Loeding