2488 search results - page 486 / 498 » An improvement in formal verification |
121
click to vote
DOCENG
2007
ACM
15 years 5 months ago
2007
ACM
In this paper, we present a document engineering environment for Clinical Guidelines (G-DEE), which are standardized medical documents developed to improve the quality of medical ...
ER
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. Definitions of the concepts derived from the goal concept (including functional and nonfunctional goal, hardgoal, and softgoal) used in requirements engineering are discu...
130
click to vote
FOCS
2009
IEEE
15 years 5 months ago
2009
IEEE
Given a set D = {d1, d2, ..., dD} of D strings of total length n, our task is to report the "most relevant" strings for a given query pattern P. This involves somewhat mo...
127
click to vote
C5
2004
IEEE
15 years 5 months ago
2004
IEEE
information technologies as "the ability to reformulate knowledge, to express oneself creatively and appropriately, and to produce and generate information (rather than simply...
ECAI
2006
Springer
15 years 5 months ago
2006
Springer
Scaling discrete AdaBoost to handle real-valued weak hypotheses has often been done under the auspices of convex optimization, but little is generally known from the original boost...