7167 search results - page 1149 / 1434 » A Technique for Invariant Generation |
192
Voted
LREC
2010
15 years 9 months ago
2010
Within the EU-funded COMPANIONS project, we are working to evaluate new collaborative conversational models of dialogue. Such an evaluation requires us to benchmark approaches to ...
215
Voted
NSDI
2010
15 years 9 months ago
2010
Early web content was expressed statically, making it amenable to straightforward prefetching to reduce userperceived network delay. In contrast, today's rich web application...
224
click to vote
SDM
2010
SIAM
15 years 9 months ago
2010
SIAM
Many sorts of structured data are commonly stored in a multi-relational format of interrelated tables. Under this relational model, exploratory data analysis can be done by using ...
194
click to vote
SPLC
2010
15 years 9 months ago
2010
Feature-oriented programming (FOP) implements software product lines by composition of feature modules. It relies on the principles of stepwise development. Feature modules are int...
209
Voted
GRAPHICSINTERFACE
2008
15 years 9 months ago
2008
Improving the visual appearance of coarse triangle meshes is usually done with graphics hardware with per-pixel shading techniques. Improving the appearance at silhouettes is inhe...