1661 search results - page 99 / 333 » Real-time specification patterns |
70
Voted
HT
1998
ACM
15 years 2 months ago
1998
ACM
Reuse is increasingly strategic for reducing cost and improving quality of hypermedia design and development. In this paper, based on the design and development of a real hypermed...
110
click to vote
WSCG
2001
14 years 11 months ago
2001
The problem of detecting specific patterns in images of materials obtained through High Resolution Transmission Electron Microscopy is addressed. A supervised classification metho...
78
Voted
AAAI
2000
14 years 11 months ago
2000
As every user has his own idiosyncrasies and preferences, an interface that is honed for one user may be problematic for another. To accommodate a diverse range of users, many com...
ASE
2010
14 years 10 months ago
2010
Recent developments in runtime verification and monitoring show that parametric regular and temporal logic specifications can be efficiently monitored against large programs. Howev...
64
Voted
IWANN
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. This paper proposes a novel algorithm for complete exact patternmatching focusing the specificities of protein sequences (alphabet of 20 symbols) but, also highly efficie...