3113 search results - page 432 / 623 » Efficiently Generating Efficient Generating Extensions in Pr... |
208
Voted
SIGMOD
2009
ACM
16 years 3 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...
162
Voted
ICSE
2004
IEEE-ACM
16 years 3 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...
125
Voted
ICSE
2004
IEEE-ACM
16 years 3 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...
123
Voted
PERCOM
2008
ACM
16 years 3 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...
134
Voted
PERCOM
2006
ACM
16 years 3 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: (...