834 search results - page 51 / 167 » Computing Minimal Models, Stable Models, and Answer Sets |
ESEM
2009
ACM
15 years 6 months ago
2009
ACM
Over the last 25+ years, the software community has been searching for the best models for estimating variables of interest (e.g., cost, defects, and fault proneness). However, li...
ICPR
2006
IEEE
16 years 27 days ago
2006
IEEE
In some classification problems, like the detection of illnesses in patients, classes are very unbalanced and the misclassification costs for different classes vary significantly....
100
click to vote
AMW
2010
15 years 1 months ago
2010
We study query authentication schemes, algorithmic and cryptographic constructions that provide efficient and secure protocols for verifying the results of queries over structured...
116
click to vote
DCC
2007
IEEE
15 years 6 months ago
2007
IEEE
: The paper proposes a lossy compression mechanism for 3D models (3D meshes) by improving existing compression mechanism such as progressive meshes and single refinement mesh compr...
BROADNETS
2007
IEEE
15 years 6 months ago
2007
IEEE
—“War of the worms” is a war between opposing computer worms, creating complex worm interactions as well as detrimental impact on infrastructure. For example, in September 20...