1609 search results - page 142 / 322 » Problem Structure and Dependable Architecture |
136
click to vote
TIT
2010
14 years 7 months ago
2010
Compressed sensing (CS) has recently emerged as a powerful signal acquisition paradigm. In essence, CS enables the recovery of high-dimensional sparse signals from relatively few ...
113
click to vote
EUROMICRO
2007
IEEE
15 years 4 months ago
2007
IEEE
In component-based hardware/software co-verification, properties of an embedded system are established from properties of its hardware and software components. A major challenge i...
118
Voted
CAV
1998
Springer
15 years 4 months ago
1998
Springer
Assume-guarantee reasoning has long been advertised as an important method for decomposing proof obligations in system veri cation. Re nement mappings (homomorphisms) have long bee...
122
Voted
SEMWEB
2009
Springer
15 years 7 months ago
2009
Springer
A key question regarding the future of the semantic web is “how will we acquire structured information to populate the semantic web on a vast scale?” One approach is to enter t...
107
Voted
ICDE
2010
IEEE
15 years 9 months ago
2010
IEEE
— One of the central problems for data quality is inconsistency detection. Given a database D and a set Σ of dependencies as data quality rules, we want to identify tuples in D ...