2989 search results - page 219 / 598 » Using Domain-Independent Problems for Introducing Formal Met... |
135
click to vote
AAI
2000
15 years 2 months ago
2000
This paper introduces a formally specified design of a compositional generic agent model (GAM). This del abstracts from specific application domains; it provides a unified formal ...
137
click to vote
JSS
2010
14 years 9 months ago
2010
During software development, architecture decisions should be documented so that quality attributes guaranteed by these decisions and required in the software specification could ...
113
click to vote
COLT
2004
Springer
15 years 6 months ago
2004
Springer
This paper introduces a new method using dyadic decision trees for estimating a classification or a regression function in a multiclass classification problem. The estimator is bas...
81
Voted
ICPR
2000
IEEE
16 years 3 months ago
2000
IEEE
Handwritten words are usually slant or Italicized due to the mechanism of handwriting and the personality. In order to improve the accuracy of character segmentation and recogniti...
119
Voted
JUCS
2007
15 years 2 months ago
2007
: This paper describes a method of using Petri net P-invariants in system diagnosis. To model this process a net oriented fault classification is presented. Hence, the considered d...