923 search results - page 100 / 185 » On the Computation of Relational View Complements |
140
click to vote
CHI
1993
ACM
15 years 10 months ago
1993
ACM
A software tool called EXPLAINER has been developed for helping programmers perform new tasks by exploring previously worked-out examples. EXPLAINER is based on cognitive principl...
190
click to vote
COORDINATION
2006
Springer
15 years 10 months ago
2006
Springer
The coordination language Paradigm allows for a flexible and orthogonal modeling of interprocess relationships at the architectural level. It is shown how dynamic system adaptation...
127
click to vote
AUTOMATICA
2004
15 years 6 months ago
2004
Families of semipermeable curves in differential games with the homicidal chauffeur dynamics are studied both from theoretical and computational points of view. The knowledge of s...
187
click to vote
MP
2010
15 years 4 months ago
2010
The Lov´asz theta number of a graph G can be viewed as a semidefinite programming relaxation of the stability number of G. It has recently been shown that a copositive strengthe...
159
click to vote
IFIPTCS
2010
15 years 4 months ago
2010
Abstract. We investigate systematically into the various possible notions of traceable sets and the relations they bear to each other and to other notions such as diagonally noncom...