Sciweavers

313 search results - page 11 / 63
» Addressing Moral Problems Through Practical Reasoning
Sort
View
EOR
2010
104views more  EOR 2010»
13 years 7 months ago
Cut generation for an integrated employee timetabling and production scheduling problem
This paper investigates the integration of the employee timetabling and production scheduling problems. At the first level, we manage a classical employee timetabling problem. At ...
O. Guyon, P. Lemaire, Eric Pinson, David Rivreau
MICCAI
2010
Springer
13 years 6 months ago
Guide-Wire Extraction through Perceptual Organization of Local Segments in Fluoroscopic Images
Segmentation of surgical devices in fluoroscopic images and in particular of guide-wires is a valuable element during surgery. In cardiac angioplasty, the problem is particularly ...
Nicolas Honnorat, Régis Vaillant, Nikos Par...
FC
2010
Springer
169views Cryptology» more  FC 2010»
13 years 10 months ago
A Formal Approach for Automated Reasoning about Off-Line and Undetectable On-Line Guessing
Abstract. Starting from algebraic properties that enable guessing lowentropy secrets, we formalize guessing rules for symbolic verification. The rules are suited for both off-line ...
Bogdan Groza, Marius Minea
CBMS
2005
IEEE
14 years 1 months ago
A Practical Tool for Visualizing and Data Mining Medical Time Series
The increasing interest in time series data mining has had surprisingly little impact on real world medical applications. Practitioners who work with time series on a daily basis ...
Li Wei, Nitin Kumar, Venkata Nishanth Lolla, Eamon...
SIGMOD
1999
ACM
99views Database» more  SIGMOD 1999»
13 years 11 months ago
Belief Reasoning in MLS Deductive Databases
It is envisaged that the application of the multilevel security (MLS) scheme will enhance exibility and e ectiveness of authorization policies in shared enterprise databases and w...
Hasan M. Jamil