10568 search results - page 243 / 2114 » Computer Intelligence and Formalization |
135
click to vote
ECEASST
2006
15 years 3 months ago
2006
Graph programs allow a visual description of programs on graphs and graph-like structures. The correctness of a graph program with respect to a pre- and a postcondition can be show...
109
click to vote
SIGSOFT
2010
ACM
15 years 1 months ago
2010
ACM
Almost all fundamental advances in science and engineering crucially depend on the availability of extremely capable high performance computing (HPC) systems. Future HPC systems w...
127
click to vote
BIRTHDAY
2009
Springer
15 years 10 months ago
2009
Springer
Any mapping S : C → K, where K is a field and C = (C, Σ) is a Σ-algebra, is called a KC-series. These series are natural generalizations of both formal series on strings over...
117
click to vote
DSVIS
2005
Springer
15 years 8 months ago
2005
Springer
The design and construction of navigation menus for websites have traditionally been performed manually according to the intuition of a web developer. This paper introduces a new a...
147
click to vote
KR
2010
Springer
15 years 8 months ago
2010
Springer
In constraint or preference reasoning, a typical task is to compute a solution, or an optimal solution. However, when one has already a solution, it may be important to produce th...