Sciweavers

6318 search results - page 919 / 1264
» Data Leakage Detection
Sort
View
191
Voted
FLOPS
2008
Springer
15 years 8 months ago
On-Demand Refinement of Dependent Types
Dependent types are useful for statically checking detailed specifications of programs and detecting pattern match or array bounds errors. We propose a novel approach to applicatio...
Hiroshi Unno, Naoki Kobayashi
ADMI
2010
Springer
15 years 8 months ago
Probabilistic Modeling of Mobile Agents' Trajectories
Abstract. We present a method for learning characteristic motion patterns of mobile agents. The method works on two levels. On the first level, it uses the expectation-maximization...
Stepán Urban, Michal Jakob, Michal Pechouce...
EV
2008
63views Hardware» more  EV 2008»
15 years 8 months ago
Secure Remote Voter Registration
: Voter registration is an important issue in election processes. In order to protect the election accuracy, it is necessary to have an accurate electoral roll of eligible voters. ...
Victor Morales-Rocha, Jordi Puiggali, Miguel Soria...
IFIP12
2008
15 years 8 months ago
Addressing Risk Assessment for Patient Safety in Hospitals through Information Extraction in Medical Reports
: Hospital Acquired Infections (HAI) is a real burden for doctors and risk surveillance experts. The impact on patients' health and related healthcare cost is very significant...
Denys Proux, Frédérique Segond, Solw...
IFIP12
2008
15 years 8 months ago
A Risk Assessment System with Automatic Extraction of Event Types
In this article we describe the joint effort of experts in linguistics, information extraction and risk assessment to integrate EventSpotter, an automatic event extraction engine, ...
Philippe Capet, Thomas Delavallade, Takuya Nakamur...