2509 search results - page 260 / 502 » Abstract Geometrical Computation and Computable Analysis |
149
click to vote
PLSA
1994
15 years 10 months ago
1994
Abstract. Most software is developed using interactive computing systems and substantial compute-power. Considerable assistance can be given to the developer by providing language-...
185
click to vote
SIGBDP
1990
15 years 10 months ago
1990
Technique for Inducing Abstractions", Communications of the ACM, 21(5), 401411, May 1978. [7] Hayes-Roth, Frederick, "Rule-Based Systems", Communications of the ACM,...
166
click to vote
BIRTHDAY
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. We introduce a mathematical framework for black-box software testing of functional correctness, based on concepts from stochastic process theory. This framework supports ...
142
click to vote
CG
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. A one-player, finite, probabilistic game with perfect information can be presented as a bipartite graph. For one-player Can't Stop, the graph is cyclic and the chall...
183
click to vote
COMPLIFE
2006
Springer
15 years 10 months ago
2006
Springer
. OSCAR3 is an open extensible system for the automated annotation of chemistry in scientific articles, which can process thousands of articles per hour. This XML annotation suppor...