1852 search results - page 321 / 371 » From Bi-ideals to Periodicity |
IFIP
2000
Springer
14 years 11 days ago
2000
Springer
: This paper reports from a systems development research tradition in which emphasis is put on relating research activities to practice and on establishing fruitful collaboration b...
WIA
2000
Springer
14 years 11 days ago
2000
Springer
The Mona tool provides an implementation of the decision procedures for the logics WS1S and WS2S. It has been used for numerous applications, and it is remarkably efficient in prac...
MICRO
1997
IEEE
14 years 10 days ago
1997
IEEE
Profile data is valuable for identifying performance bottlenecks and guiding optimizations. Periodic sampling of a processor's performance monitoring hardware is an effective...
KDD
1995
ACM
14 years 10 days ago
1995
ACM
The quest to nd models usefully characterizing data is a process central to the scienti c method, and has been carried out on many fronts. Researchers from an expanding number of ...
AINA
2010
IEEE
14 years 7 days ago
2010
IEEE
—Mnesic evocation occurs under the action of a stimulus. A successful evocation is observed as the overrun of a certain threshold of the neuronal activity followed by a medical i...