5246 search results - page 688 / 1050 » Sanitization models and their limitations |
210
click to vote
CIIA
2009
15 years 8 months ago
2009
Abstract. Formal verification of digital systems is achieved, today, using one of two main approaches: states exploration (mainly model checking and equivalence checking) or deduct...
237
click to vote
CIKM
2009
Springer
15 years 8 months ago
2009
Springer
Desktop search is an important part of personal information management (PIM). However, research in this area has been limited by the lack of shareable test collections, making cum...
182
click to vote
ERCIMDL
2010
Springer
15 years 8 months ago
2010
Springer
Invenio is the web-based integrated digital library system developed at CERN. Within this framework, we present four types of ranking models based on the citation graph that comple...
194
click to vote
GISCIENCE
2010
Springer
15 years 8 months ago
2010
Springer
Regions which evolve over time are a significant aspect of many phenomena in geographic information science. Examples include areas in which a measured value (e.g. temperature, sal...
202
click to vote
DAIS
2009
15 years 8 months ago
2009
Abstract. Applications for Wireless Sensor Networks (WSNs) are being spread to areas in which the contextual parameters modeling the environment are changing over the application l...