Sciweavers

1173 search results - page 30 / 235
» Program Derivation Using Analogy
Sort
View
134
Voted
ICIP
2004
IEEE
16 years 3 months ago
Detection of unique people in news programs using multimodal shot clustering
In this paper we describe an approach that uses a combination of visual and audio features to cluster shots belonging to the same person together in video programs. We use color h...
Alberto Albiol, Cüneyt M. Taskiran, Edward J....
88
Voted
EH
2002
IEEE
185views Hardware» more  EH 2002»
15 years 7 months ago
Automatic Synthesis Using Genetic Programming of an Improved General-Purpose Controller for Industrially Representative Plants
Most real-world controllers are composed of proportional, integrative, and derivative signal processing blocks. The so-called PID controller was invented and patented by Callender...
Martin A. Keane, John R. Koza, Matthew J. Streeter
135
Voted
EMNLP
2009
15 years 4 hour ago
Adapting a Polarity Lexicon using Integer Linear Programming for Domain-Specific Sentiment Classification
Polarity lexicons have been a valuable resource for sentiment analysis and opinion mining. There are a number of such lexical resources available, but it is often suboptimal to us...
Yejin Choi, Claire Cardie
129
Voted
CDC
2010
IEEE
144views Control Systems» more  CDC 2010»
14 years 9 months ago
Optimal UAV coordination for target tracking using dynamic programming
This work focuses on optimal routing for two camera-equipped UAVs cooperatively tracking a single target moving on the ground. The UAVs are small fixed-wing aircraft cruising at a ...
Steven A. P. Quintero, Francesco Papi, Daniel J. K...
122
Voted
FASE
2000
Springer
15 years 5 months ago
Verification of Object Oriented Programs Using Class Invariants
A proof system is presented for the verification and derivation of object oriented programs with as main features strong typing, dynamic binding, and inheritance. The proof system...
Kees Huizing, Ruurd Kuiper