2178 search results - page 351 / 436 » Inferring complex plans |
114
Voted
PODS
2008
ACM
16 years 2 months ago
2008
ACM
In the rank join problem, we are given a set of relations and a scoring function, and the goal is to return the join results with the top K scores. It is often the case in practic...
105
Voted
ICSE
2008
IEEE-ACM
16 years 2 months ago
2008
IEEE-ACM
The earlier in the software process a fault is detected, the cheaper the cost of fixing the fault. Automated fault detection tools can provide developers with information througho...
135
Voted
ESOP
2010
Springer
15 years 12 months ago
2010
Springer
Abstract. Embedded information assurance applications that are critical to national and international infrastructures, must often adhere to certification regimes that require infor...
157
Voted
ICDCS
2009
IEEE
15 years 11 months ago
2009
IEEE
We address issues related to privacy protection in location-based services (LBS). Most existing research in this field either requires a trusted third-party (anonymizer) or uses ...
129
Voted
TLDI
2010
ACM
15 years 11 months ago
2010
ACM
In the GADT (Generalized Algebraic Data Types) type system, a pattern-matching branch can draw type information from both the scrutinee type and the data constructor type. Even th...