Sciweavers

2705 search results - page 406 / 541
» Privacy in Data Mining Using Formal Methods
Sort
View
ICFEM
2009
Springer
16 years 27 days ago
Combining Static Model Checking with Dynamic Enforcement Using the Statecall Policy Language
Internet protocols encapsulate a significant amount of state, making implementing the host software complex. In this paper, we define the Statecall Policy Language (SPL) which pr...
Anil Madhavapeddy
169
Voted
IPSN
2007
Springer
16 years 14 days ago
Building a sensor network of mobile phones
Mobile phones have two sensors: a camera and a microphone. The widespread and ubiquitous nature of mobile phones around the world makes it attractive to build a large-scale sensor...
Aman Kansal, Michel Goraczko, Feng Zhao
OOPSLA
2005
Springer
15 years 11 months ago
An interactive visualization of refactorings retrieved from software archives
We perform knowledge discovery in software archives in order to detect refactorings on the level of classes and methods. Our REFVIS prototype finds these refactorings in CVS repo...
Peter Weißgerber, Stephan Diehl, Carsten G&o...
KDD
2004
ACM
141views Data Mining» more  KDD 2004»
16 years 6 months ago
A Maximum Entropy Approach to Biomedical Named Entity Recognition
Machine learning approaches are frequently used to solve name entity (NE) recognition (NER). In this paper we propose a hybrid method that uses maximum entropy (ME) as the underly...
Yi-Feng Lin, Tzong-Han Tsai, Wen-Chi Chou, Kuen-Pi...
SDM
2009
SIAM
175views Data Mining» more  SDM 2009»
16 years 3 months ago
Low-Entropy Set Selection.
Most pattern discovery algorithms easily generate very large numbers of patterns, making the results impossible to understand and hard to use. Recently, the problem of instead sel...
Hannes Heikinheimo, Jilles Vreeken, Arno Siebes, H...