Sciweavers

310 search results - page 27 / 62
» Why Delannoy numbers
Sort
View
CAI
2006
Springer
13 years 10 months ago
A Logical Framework for Identifying and Explaining Unexpected News
The number of news reports published online is now so great that it is impossible for any person to read all of them. Not all of these reports are equally interesting. Automating ...
Emma Byrne
ENTCS
2006
94views more  ENTCS 2006»
13 years 10 months ago
Reasoning About Partial Functions in the Formal Development of Programs
Partial functions and operators are used extensively in the formal development of programs and thus development methods have to clarify how to reason about them. There are a numbe...
Cliff B. Jones
ACSAC
2009
IEEE
14 years 4 months ago
The Good, the Bad, And the Ugly: Stepping on the Security Scale
: Metrics are both fashionable and timely: many regulations that affect cybersecurity rely upon metrics – albeit, of the checklist variety in many cases – to ascertain complian...
Mary Ann Davidson
ISBI
2008
IEEE
14 years 10 months ago
Reducing false positive responses in lung nodule detector system by asymmetric adaboost
We are developing a complex computer aided diagnosis (CAD) system to detect small pulmonary nodules from helical CT scans. Here we present a classifier to reduce the number of fal...
Martin Dolejsi, Jan Kybic, Stanislav Tuma, Michal ...
ACSAC
2008
IEEE
14 years 4 months ago
The Role Hierarchy Mining Problem: Discovery of Optimal Role Hierarchies
Role hierarchies are fundamental to the role based access control (RBAC) model. The notion of role hierarchy is a well understood concept that allows senior roles to inherit the p...
Qi Guo, Jaideep Vaidya, Vijayalakshmi Atluri