2351 search results - page 245 / 471 » A Method of Requirement Inconsistency Analysis |
137
click to vote
DGO
2008
15 years 7 months ago
2008
We address the e-rulemaking problem of reducing the manual labor required to analyze public comment sets. In current and previous work, for example, text categorization techniques...
139
Voted
FMCAD
2007
Springer
15 years 12 months ago
2007
Springer
—When model-checking reports that a property holds on a model, vacuity detection increases user confidence in this result by checking that the property is satisfied in the inte...
187
click to vote
CHES
2001
Springer
15 years 10 months ago
2001
Springer
Abstract. In this paper we show how using a representation of an elliptic curve as the intersection of two quadrics in P3 can provide a defence against Simple and Differental Powe...
143
click to vote
DICTA
2007
15 years 7 months ago
2007
The extraction of “Level 2” detail — ridge terminations, ridge bifurcations, bridges etc. — from digitised images of fingerprints requires an accurate segmentation of the...
155
click to vote
HICSS
2012
IEEE
14 years 1 months ago
2012
IEEE
The success of open government initiatives depends on understanding the informational needs of the concerned citizens and other stakeholders as prerequisite for open access to rel...