6020 search results - page 1067 / 1204 » A New Approach to Model Counting |
165
click to vote
WAC
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. The Internet is facing ever-increasing complexity in the construction, configuration and management of heterogeneous networks. New communication paradigms are underminin...
189
Voted
MIR
2004
ACM
15 years 11 months ago
2004
ACM
This paper proposes a new approach and algorithm for the similarity measure of video clips. The similarity is mainly based on two bipartite graph matching algorithms: maximum matc...
149
click to vote
SAC
2004
ACM
15 years 11 months ago
2004
ACM
1 This paper discusses the design and implementation details of MAST (Mobile Agent-based Security Tool), a new mobile agentbased network security approach. MAST has been designed t...
159
click to vote
SIGIR
2004
ACM
15 years 11 months ago
2004
ACM
Document clustering has long been an important problem in information retrieval. In this paper, we present a new clustering algorithm ASI1, which uses explicitly modeling of the s...
182
click to vote
COORDINATION
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. The decoupling between behavior and communication fostered by coordination becomes of paramount importance in mobile computing. In this scenario, however, coordination te...