3657 search results - page 411 / 732 » A Study of Practical Deduplication |
195
Voted
MHCI
2009
Springer
16 years 1 months ago
2009
Springer
Landmarks are a key element in navigation and have been used extensively to provide navigation support to pedestrians through mobile devices in urban areas. Natural environments d...
203
Voted
ELPUB
2007
ACM
15 years 10 months ago
2007
ACM
The following paper presents a case study of the way that the research done by the LAIRAH project may be applied in the case of a real digital resource for humanities scholarship....
194
click to vote
FMICS
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Bounded model checking (BMC) based on satisfiability testing (SAT) has been introduced as a complementary technique to BDDbased symbolic model checking of LTL properties ...
149
click to vote
ICDCS
2010
IEEE
2010
IEEE
Link-Centric Probabilistic Coverage Model for Transceiver-Free Object Detection in Wireless Networks
15 years 7 months ago
Abstract--Sensing coverage is essential for most applications in wireless networks. In traditional coverage problem study, the disk coverage model has been widely applied because o...
152
click to vote
BMCBI
2007
15 years 6 months ago
2007
Background: Quantifying cell division and death is central to many studies in the biological sciences. The fluorescent dye CFSE allows the tracking of cell division in vitro and i...