2488 search results - page 385 / 498 » An improvement in formal verification |
ICDM
2007
IEEE
15 years 5 months ago
2007
IEEE
This paper is motivated to improve the performance of individual ensembles using a hybrid mechanism in the regression setting. Based on an error-ambiguity decomposition, we formal...
COMPSAC
2004
IEEE
15 years 5 months ago
2004
IEEE
: We concentrate on two major aspects of reactive system design: behavior control and modularity. These are studied from a formal point of view, within the framework of action syst...
121
click to vote
DSOM
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. The goal of ontology-based management is to improve the manageability of network resources through the application of formal ontologies. Prior research work has studied t...
102
click to vote
ER
2000
Springer
15 years 5 months ago
2000
Springer
Taxonomies are an important part of conceptual modeling. They provide substantial structural information, and are typically the key elements in integration eorts, however there ha...
109
click to vote
DOOD
1995
Springer
15 years 5 months ago
1995
Springer
Semantics represents a major problem area for active databases inasmuch as (i) there is l framework for defining the abstract semantics of active rules, and (ii) the various syst...