5234 search results - page 207 / 1047 » Method Components - Rationale Revealed |
109
click to vote
ICCBSS
2005
Springer
15 years 9 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 ...
100
Voted
ECAI
2004
Springer
15 years 8 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...
145
click to vote
IAW
2003
IEEE
15 years 8 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...
104
click to vote
ISMAR
2003
IEEE
15 years 8 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...
156
Voted
IWANN
1999
Springer
15 years 7 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...