1116 search results - page 157 / 224 » Applying Predicate Abstraction to Abstract State Machines |
BIRTHDAY
1994
Springer
15 years 3 months ago
1994
Springer
Cook's construction from 1971 [4] shows that any two-way deterministic pushdown automaton (2DPDA) can be simulated in time O(n), where n is the length of its input string, and...
ICCS
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. We describe a dynamic data-driven methodology that is capable of simultaneously determining both the parameters of a constitutive model associated with the response of a ...
116
click to vote
EGICE
2006
15 years 2 months ago
2006
Abstract. In knowledge representation by fuzzy rule based systems two reasoning mechanisms can be distinguished: conjunction-based and implication-based inference. Both approaches ...
ICSOC
2010
Springer
14 years 9 months ago
2010
Springer
A request to a service registry must be answered with a service that fits in several regards, including semantic compatibility, non-functional compatibility, and interface compati...
IPMI
2003
Springer
16 years 1 days ago
2003
Springer
Abstract. In this paper, feature selection methodology from the machine learning literature is applied to the problem of shape-based classification. This methodology discards stati...