1071 search results - page 127 / 215 » Programming with enumerable sets of structures |
124
Voted
IFIP
1992
Springer
15 years 4 months ago
1992
Springer
This paper presents a completely systematic design procedure for asynchronous controllers. The initial step is the construction of a signal transition graph (STG, an interpreted P...
111
click to vote
COMSIS
2004
15 years 13 days 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...
83
Voted
CORR
2004
Springer
15 years 13 days ago
2004
Springer
We present a new role system for specifying changing referencing relationships of heap objects. The role of an object depends, in large part, on its aliasing relationships with ot...
133
Voted
CPAIOR
2011
Springer
14 years 4 months ago
2011
Springer
Abstract. We study the application of limited-width MDDs (multivalued decision diagrams) as discrete relaxations for combinatorial optimization problems. These relaxations are used...
103
Voted
COGSR
2011
14 years 7 months ago
2011
We present an application of the analytical inductive programming system Igor to learning sets of recursive rules from positive experience. We propose that this approach can be us...