Sciweavers

7167 search results - page 320 / 1434
» A Technique for Invariant Generation
Sort
View
JSS
2010
150views more  JSS 2010»
15 years 6 months ago
Towards a general purpose architecture for UI generation
Many software projects spend a significant proportion of their time developing the User Interface (UI), therefore any degree of automation in this area has clear benefits. Such au...
Richard Kennard, John Leaney
CVPR
2008
IEEE
16 years 9 months ago
Unifying discriminative visual codebook generation with classifier training for object category recognition
The idea of representing images using a bag of visual words is currently popular in object category recognition. Since this representation is typically constructed using unsupervi...
Liu Yang, Rong Jin, Rahul Sukthankar, Fréd&...
CPAIOR
2005
Springer
16 years 1 months ago
Constraint Programming Based Column Generation for Employee Timetabling
The Employee Timetabling Problem (ETP) is a general class of problems widely encountered in service organizations (such as call centers for instance). Given a set of activities, a ...
Sophie Demassey, Gilles Pesant, Louis-Martin Rouss...
OOPSLA
2005
Springer
16 years 1 months ago
MDAbench: a tool for customized benchmark generation using MDA
Designing component-based application that meets performance requirements remains a challenging problem, and usually requires a prototype to be constructed to benchmark performanc...
Liming Zhu, Yan Liu, Ian Gorton, Ngoc Bao Bui
RTAS
2003
IEEE
16 years 25 days ago
Modular Code Generation from Hybrid Automata based on Data Dependency
Model-based automatic code generation is a process of converting abstract models into concrete implementations in the form of a program written in a high-level programming languag...
Jesung Kim, Insup Lee