2748 search results - page 204 / 550 » Generating Object-Z Specifications from Use Cases |
85
Voted
SIGMOD
2010
ACM
15 years 29 days ago
2010
ACM
Improving data quality is a time-consuming, labor-intensive and often domain specific operation. Existing data repair approaches are either fully automated or not efficient in int...
122
click to vote
KDID
2004
15 years 2 months ago
2004
We are designing new data mining techniques on boolean contexts to identify a priori interesting bi-sets (i.e., sets of objects or transactions associated to sets of attributes or ...
115
click to vote
ICCS
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. As High Performance Computing becomes more collaborative, software certification practices are needed to quantify the credibility of shared applications. To demonstrate q...
78
Voted
WWW
2004
ACM
16 years 1 months ago
2004
ACM
The evaluation of eLearning success is an indispensable business requirement of education programs: the easy registration of `visits' to eLearning websites is, however, not s...
128
click to vote
BCB
2010
14 years 7 months ago
2010
A major bottleneck in high-throughput protein crystallography is producing protein-structure models from an electrondensity map. In previous work, we developed Acmi, a probabilist...