165 search results - page 25 / 33 » Specification patterns can be formal and still easy |
75
Voted
ICCAD
2008
IEEE
15 years 6 months ago
2008
IEEE
Abstract—Lithographic limitations and manufacturing uncertainties are resulting in fabricated shapes on wafer that are topologically equivalent, but geometrically different from ...
BMCBI
2006
14 years 9 months ago
2006
Background: Non-negative matrix factorisation (NMF), a machine learning algorithm, has been applied to the analysis of microarray data. A key feature of NMF is the ability to iden...
156
click to vote
POPL
2004
ACM
15 years 10 months ago
2004
ACM
The contribution of the paper is twofold. First, we define a general notion of type system equipped with an entailment relation between type environments; this generalisation serv...
ISWC
2003
IEEE
15 years 2 months ago
2003
IEEE
We implemented a wearable system for detecting accelerations of the user's head while standing still for the purpose of developing a daily health care application. A 2axis ac...
DAC
1994
ACM
15 years 1 months ago
1994
ACM
This paper describes a diagnosis technique for locating design errors in circuit implementations which do not match their functional specification. The method efficiently propagat...