7103 search results - page 858 / 1421 » Program Generation and Components |
221
click to vote
EJC
2000
15 years 8 months ago
2000
Even if a problem solving method and a domain ontology has been identified, there still remains the problem of adding sufficient and consistent domain knowledge to a knowledge proc...
168
click to vote
ESM
2000
15 years 8 months ago
2000
The framework of this paper is the design of complex communication protocols by simulation, based on formal description techniques (FDT). We propose a general-purpose scalable mod...
171
click to vote
AAAI
1997
15 years 8 months ago
1997
One of the important components of a local search strategy for satisfiability testing is the variable selection heuristic, which determines the next variable to be flipped. In a...
177
click to vote
PDSE
1998
15 years 8 months ago
1998
We present prominent features of AUTOFOCUS, a tool prototype for the formally based development of reactive systems. AUTOFOCUS supports system development offering integrated, com...
152
click to vote
WSC
1997
15 years 8 months ago
1997
We present a heuristic that provides a nonparametric estimate of the mean-value function of a nonhomogeneous Poisson process having a long-term trend or some cyclic effect(s) tha...