1124 search results - page 55 / 225 » Refined quorum systems |
174
click to vote
ASM
2008
ASM
15 years 8 months ago
2008
ASM
anguage (Event B), hence staying at the same abstraction level. Thus we take advantage from the Event B method: (i) it is possible to use the method during the whole development pr...
182
click to vote
CVPR
2007
IEEE
2007
IEEE
Discriminative Cluster Refinement: Improving Object Category Recognition Given Limited Training Data
16 years 8 months ago
A popular approach to problems in image classification is to represent the image as a bag of visual words and then employ a classifier to categorize the image. Unfortunately, a si...
160
click to vote
CAV
2008
Springer
15 years 8 months ago
2008
Springer
Counterexample-guided abstraction refinement (CEGAR) has been en vogue for the automatic verification of very large systems in the past years. When trying to apply CEGAR to the ver...
174
click to vote
SIGMOD
1998
ACM
15 years 10 months ago
1998
ACM
The CONTROL project at U.C. Berkeley has developed technologies to provide online behavior for data-intensive applications. Using new query processing algorithms, these technologi...
143
click to vote
ICIW
2007
IEEE
15 years 10 months ago
2007
IEEE
The idea of service orientation envisions dynamic detection and execution of suitable Web services for solving a particular request. Most realization approaches pay only little att...