2586 search results - page 90 / 518 » Automatic Abstraction for Congruences |
179
click to vote
PAKDD
2005
ACM
15 years 12 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...
160
click to vote
PAKDD
2005
ACM
15 years 12 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...
189
click to vote
MM
2004
ACM
15 years 11 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...
178
click to vote
IPTPS
2004
Springer
15 years 11 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...
193
click to vote
ISSAC
2004
Springer
15 years 11 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...