2702 search results - page 384 / 541 » Practically Applicable Formal Methods |
184
click to vote
ER
2011
Springer
14 years 2 months ago
2011
Springer
Abstract. User preferences are a fundamental ingredient of personalized database applications, in particular those in which the user context plays a key role. Given a set of prefer...
144
Voted
WISE
2002
Springer
15 years 7 months ago
2002
Springer
Web caching is an important technique for accelerating web applications and reducing the load on the web server and the network through local cache accesses. As in the traditional...
120
Voted
BMCBI
2008
15 years 2 months ago
2008
In studies that use DNA arrays to assess changes in gene expression, it is preferable to measure the significance of treatment effects on a group of genes from a pathway or functi...
96
Voted
CHI
2002
ACM
16 years 2 months ago
2002
ACM
We propose a formal experimental paradigm designed to help evaluate scrolling interaction techniques. Such a method is needed by interaction designers to quantify scrolling perfor...
107
click to vote
AAAI
2006
15 years 3 months ago
2006
Model counting is the classical problem of computing the number of solutions of a given propositional formula. It vastly generalizes the NP-complete problem of propositional satis...