1757 search results - page 28 / 352 » Alternating Refinement Relations |
107
Voted
COMPSYSTECH
2007
15 years 4 months ago
2007
: The paper proposes a different approach to data modeling. Analogous to the rejection method, where the misclassifications are removed and manually evaluated, we focus here on dif...
100
click to vote
FMCAD
2007
Springer
15 years 4 months ago
2007
Springer
We present a framework for formal verification of embedded custom memories. Memory verification is complicated ifficulty in abstracting design parameters induced by the inherently ...
97
Voted
DSOM
2006
Springer
15 years 4 months ago
2006
Springer
This paper describes an approach for application specific conflict prevention based on model-driven refinement of policies prior to deployment. Central to the approach is an algori...
103
click to vote
JUCS
2010
14 years 7 months ago
2010
: Although literature contains a huge amount of measures for measuring quality characteristics of software artifacts throughout the development life-cycle, the majority go no furth...
85
Voted
ACL
2008
15 years 1 months ago
2008
We apply the hypothesis of "One Sense Per Discourse" (Yarowsky, 1995) to information extraction (IE), and extend the scope of "discourse" from one single docum...