3713 search results - page 560 / 743 » Constructing a Calculus of Programs |
181
click to vote
MM
2005
ACM
16 years 15 days ago
2005
ACM
In this paper, we propose a method for exciting event detection in broadcast soccer video with mid-level description and SVM-based incremental learning. In the method, video frame...
176
click to vote
ATAL
2005
Springer
16 years 15 days ago
2005
Springer
A multi-agent system is a useful approach for the complex systems. One of the important concepts of multi-agent systems is cooperativeness, or interactions. However, existing lang...
175
Voted
BIRTHDAY
2005
Springer
16 years 15 days ago
2005
Springer
Constructing a program from a specification is a long-known general and fundamental problem. Besides its theoretical interest, this question also has practical implications, since...
171
Voted
CP
2005
Springer
16 years 15 days ago
2005
Springer
Abstract. Many symmetry breaking techniques assume that the symmetries of a CSP are given as input in addition to the CSP itself. We present a method that can be used to detect all...
188
click to vote
DAWAK
2005
Springer
16 years 14 days ago
2005
Springer
Extract-Transform-Load (ETL) workflows are data centric workflows responsible for transferring, cleaning, and loading data from their respective sources to the warehouse. Previous ...