2586 search results - page 90 / 518 » Automatic Abstraction for Congruences |
PAKDD
2005
ACM
15 years 3 months ago
2005
ACM
Abstract. In this paper we discuss an image mining application of Egeria detection. Egeria is a type of weed found in various lands and water regions over San Joaquin and Sacrament...
PAKDD
2005
ACM
15 years 3 months ago
2005
ACM
Abstract. We apply a machine learning method to the occupation coding, which is a task to categorize the answers to open-ended questions regarding the respondent’s occupation. Sp...
MM
2004
ACM
15 years 3 months ago
2004
ACM
While most current approaches for sports video analysis are based on broadcast video, in this paper, we present a novel approach for highlight detection and automatic replay gener...
IPTPS
2004
Springer
15 years 3 months ago
2004
Springer
Abstract— Content sharing is a popular usage of peerto-peer systems for its inherent scalability and low cost of maintenance. In this paper, we leverage this nature of peer-to-pe...
105
click to vote
ISSAC
2004
Springer
15 years 3 months ago
2004
Springer
In [17], an abstract framework for automatically generating loop invariants of imperative programs was proposed. This framework was then instantiated for the language of conjuncti...