827 search results - page 46 / 166 » Patterns for Timed Property Specifications |
149
click to vote
ICDAR
2003
IEEE
15 years 12 months ago
2003
IEEE
Our aim is to achieve writer identification process thanks to a fractal analysis of handwriting style. For each writer, a set of characteristics is extracted. They are specific to...
330
click to vote
ICLP
2009
Springer
16 years 7 months ago
2009
Springer
Abstract. We present a framework that unifies unit testing and runtime verification (as well as static verification and static debugging). A key contribution of our overall approac...
166
click to vote
BMCBI
2010
15 years 6 months ago
2010
Background: The classification of protein sequences using string algorithms provides valuable insights for protein function prediction. Several methods, based on a variety of diff...
180
click to vote
IOLTS
2007
IEEE
16 years 26 days ago
2007
IEEE
Soft error due to ionizing radiation is emerging as a major concern for future technologies. The measurement unit for failures due to soft errors is called Failure-In-Time (FIT) t...
191
click to vote
KDD
2009
ACM
16 years 7 months ago
2009
ACM
The increasing availability of electronic communication data, such as that arising from e-mail exchange, presents social and information scientists with new possibilities for char...