45 search results - page 7 / 9 » cats 2006 |
WWW
2006
ACM
15 years 10 months ago
2006
ACM
Web pages include extraneous material that may be viewed as undesirable by a user. Increasingly many Web sites also require users to register to access either all or portions of t...
BIRTHDAY
2006
Springer
15 years 1 months ago
2006
Springer
We recall the contribution of Goguen and Burstall's 1980 CAT paper and its powerful influence on theories of specification implementation that were emerging at about the same ...
81
Voted
CATS
2006
14 years 11 months ago
2006
The implication of multivalued dependencies (MVDs) in relational databases has originally been defined in the context of some fixed finite universe (Fagin 1977, Zaniolo 1976). Whi...
PERCOM
2006
ACM
15 years 4 months ago
2006
ACM
This paper proposes the use of a wireless sensor network of “cat’s eye” augmented with embedded processing, communication, and sensing capabilities to monitor vehicle behavi...
COR
2006
14 years 10 months ago
2006
In this paper, we study a bidding problem which can be modeled as a set packing problem. A simulated annealing heuristic with three local moves, including an embedded branch-and-b...