3113 search results - page 432 / 623 » Efficiently Generating Efficient Generating Extensions in Pr... |
163
click to vote
SIGMOD
2009
ACM
15 years 10 months ago
2009
ACM
In this paper, we consider the problem of keyword query cleaning for structured databases from a probabilistic approach. Keyword query cleaning consists of rewriting the user quer...
105
click to vote
ICSE
2004
IEEE-ACM
15 years 10 months ago
2004
IEEE-ACM
Model checking is an automated technique that can be used to determine whether a system satisfies certain required properties. To address the "state explosion" problem a...
74
Voted
ICSE
2004
IEEE-ACM
15 years 10 months ago
2004
IEEE-ACM
Software development is always a challenging undertaking and it requires high commitments from individuals who participate in it. Software development often involves new technolog...
82
Voted
PERCOM
2008
ACM
15 years 9 months ago
2008
ACM
Low cost devices such as RFIDs, sensor network nodes, and smartcards are crucial for building the next generation pervasive and ubiquitous networks. The inherent power and footpri...
PERCOM
2006
ACM
15 years 9 months ago
2006
ACM
This paper introduces MobiCare ? a novel service architecture that enables a wide range of health-related services for efficient and mobile patient care. These services include: (...