6274 search results - page 649 / 1255 » Proofs, Programs, Processes |
168
click to vote
ENTCS
2008
15 years 7 months ago
2008
Graph transformation units are an approach-independent concept for programming by applying rules and imported transformation units to graphs, starting in an initial and ending in ...
203
click to vote
JAIR
2006
15 years 7 months ago
2006
Efficient representations and solutions for large decision problems with continuous and discrete variables are among the most important challenges faced by the designers of automa...
194
click to vote
COMSIS
2004
15 years 7 months ago
2004
This paper outlines a methodology for designing information systems based on XML. The methodology uses XML DTDs to define the design standards, and the structure and constraints of...
198
click to vote
DISOPT
2008
15 years 6 months ago
2008
The problem of scheduling groups of jobs on a single machine under the group technology assumption is studied. Jobs of the same group are processed contiguously and a sequence ind...
223
click to vote
PRL
2010
15 years 5 months ago
2010
The GESTALT-System is a stratified architecture for challenging computer vision tasks. This contribution focuses on the 3rd and 4th layer of it – the grouping and decision layer...