Sciweavers

1173 search results - page 30 / 235
» Program Derivation Using Analogy
Sort
View
ICIP
2004
IEEE
14 years 11 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....
EH
2002
IEEE
185views Hardware» more  EH 2002»
14 years 3 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
EMNLP
2009
13 years 7 months 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
CDC
2010
IEEE
144views Control Systems» more  CDC 2010»
13 years 5 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...
FASE
2000
Springer
14 years 1 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