832 search results - page 48 / 167 » Characteristic Patterns for LTL |
ITC
1998
IEEE
15 years 4 months ago
1998
IEEE
This paper presents a logic synthesis tool called BETSY (BIST Environment Testable Synthesis) for synthesizing circuits that achieve complete (100%)fault coverage in a user specif...
LREC
2008
15 years 1 months ago
2008
Pattern matching, or querying, over annotations is a general purpose paradigm for inspecting, navigating, mining, and transforming annotation repositories--the common representati...
101
click to vote
IJSEKE
2000
14 years 11 months ago
2000
The ability to handle changes is a characteristic feature of successful software projects. The problem addressed in this paper is what should be done in project planning and itera...
ICIP
2009
IEEE
16 years 27 days ago
2009
IEEE
We propose in this work a new random pattern with R,G,B colors, which can be used to design color filter arrays (CFA) with good spectral properties, since the chrominance is modul...
ICWSM
2010
15 years 1 months ago
2010
To better understand and characterize the emerging social medium of microblogging we conducted a comparison between Twitter and a weblog network for their respective information d...