5234 search results - page 207 / 1047 » Method Components - Rationale Revealed |
156
click to vote
ICCBSS
2005
Springer
15 years 12 months ago
2005
Springer
This paper proposes the adoption of a goal-based method called GBRAM for facilitating the process of building taxonomies of COTS components. Since GBRAM was defined in a different ...
136
click to vote
ECAI
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Asbru is a complex formal language developed to represent clinical guidelines and protocols which are time- and processoriented. To facilitate and support the modeling in...
184
click to vote
IAW
2003
IEEE
15 years 11 months ago
2003
IEEE
- Use offormal methods in any application scenario requires a precise characterization and representation of the properties that need to be verified The target, which is desired ri...
137
click to vote
ISMAR
2003
IEEE
15 years 11 months ago
2003
IEEE
To achieve accurate registration, the transformations which locate the tracking system components with respect to the environment must be known. These transformations relate the b...
202
click to vote
IWANN
1999
Springer
15 years 10 months ago
1999
Springer
A crucial problem in non-linear time series forecasting is to determine its auto-regressive order, in particular when the prediction method is non-linear. We show in this paper tha...