8486 search results - page 425 / 1698 » Ordered Enumeration Method |
208
Voted
ENTCS
2002
15 years 7 months ago
2002
The aim of this work is to show that (oriented) matroid methods can be applied to many discrete geometries, namely those based on modules over integral (ordered) domains. The tric...
213
Voted
TSE
1998
15 years 7 months ago
1998
—With the increasing use of object-oriented methods in new software development there is a growing need to both document and improve current practice in object-oriented design an...
186
click to vote
SAS
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. Properties of programs can be formulated using various techdataflow analysis, abstract interpretation and type-like inference systems. This paper reconstructs strictness...
212
Voted
ICA
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. In brain computer interface based on motor imagery, covariances matrices are widely used through spatial filters computation and other signal processing methods. Covarian...
171
Voted
IJBC
2010
15 years 5 months ago
2010
We consider parameter-dependent, continuous-time dynamical systems under discretizations. It is shown that fold-Hopf singularities are O(hp)-shifted and turned into fold-Neimark-S...