1573 search results - page 205 / 315 » Picture Programming Project |
112
Voted
ESA
2003
Springer
15 years 8 months ago
2003
Springer
We report on a project with a German car manufacturer. The task is to compute (approximate) solutions to a specific large-scale packing problem. Given a polyhedral model of a car ...
129
Voted
GD
2003
Springer
15 years 8 months ago
2003
Springer
A drawing of a family of cuts of a graph is an augmented drawing of the graph such that every cut in the family is represented by a simple closed curve and vice versa. We show tha...
91
Voted
ISI
2003
Springer
15 years 8 months ago
2003
Springer
In many intelligence and security tasks it is necessary to monitor data in database in order to detect certain events or changes. Currently, database systems offer triggers to pro...
119
Voted
IWPC
2002
IEEE
15 years 7 months ago
2002
IEEE
Impact analysis is needed for the planning and estimation of software maintenance projects. Traditional impact analysis techniques tend to be too expensive for this phase, so ther...
121
Voted
FASE
2001
Springer
15 years 7 months ago
2001
Springer
Abstract. This paper describes a specialised logic for proving specifications in the Java Modeling Language (JML). JML is an interface specification language for Java. It allows ...