800 search results - page 127 / 160 » Towards a formalization of budgets |
144
click to vote
NPAR
2006
ACM
16 years 21 days ago
2006
ACM
Pen-and-ink line drawing techniques are frequently used to depict form, tone, and texture in artistic, technical, and scientific illustration. In non-photorealistic rendering (NP...
177
click to vote
HICSS
2005
IEEE
16 years 10 days ago
2005
IEEE
In this paper we introduce a framework to supplement and tag computerized CPG with related best-evidence automatically sourced from on-line medical literature repositories. The id...
149
Voted
ICDCSW
2005
IEEE
16 years 10 days ago
2005
IEEE
Content-based event matching is an important problem in large-scale event-based publish/subscribe systems. However, open questions remain in ...
166
click to vote
CAV
2005
Springer
16 years 8 days ago
2005
Springer
Bounded model checking is an efficient method for finding bugs in system designs. The major drawback of the basic method is that it cannot prove properties, only disprove them. R...
158
click to vote
COCOON
2005
Springer
16 years 8 days ago
2005
Springer
Rocchio’s similarity-based relevance feedback algorithm, one of the most important query reformation methods in information retrieval, is essentially an adaptive supervised lear...