3713 search results - page 560 / 743 » Constructing a Calculus of Programs |
136
Voted
MM
2005
ACM
15 years 8 months 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...
117
Voted
ATAL
2005
Springer
15 years 8 months 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...
131
click to vote
BIRTHDAY
2005
Springer
15 years 8 months 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...
117
click to vote
CP
2005
Springer
15 years 8 months 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...
136
click to vote
DAWAK
2005
Springer
15 years 8 months 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 ...