Sciweavers

4281 search results - page 58 / 857
» How to Disembed a Program
Sort
View
FASE
2000
Springer
15 years 4 months ago
A Process Algebra for Real-Time Programs
Abstract. We introduce a generalised notion of a real-time speci cation language (\GPLC-Automata") that can be translated directly into real-time programs. In order to describ...
Henning Dierks
DAGM
2008
Springer
15 years 2 months ago
Efficient Tracking as Linear Program on Weak Binary Classifiers
This paper demonstrates how a simple, yet effective, set of features enables to integrate ensemble classifiers in optical flow based tracking. In particular, gray value differences...
Michael Grabner, Christopher Zach, Horst Bischof
110
Voted
SFP
2003
15 years 1 months ago
Is it time for real-time functional programming?
Abstract This paper explores the suitability of functional languages for programming real-time systems. We study the requirements of real-time systems in general, outline typical l...
Kevin Hammond
88
Voted
COLING
2000
15 years 1 months ago
Chart Parsing and Constraint Programming
In this paper, lmrsing-as-deduction and constraint programming are brought together to outline a procedure for the speeitication of constraint-based chart parsers. Fob lowing the ...
Frank Morawietz
AAAI
1993
15 years 1 months ago
Learning Semantic Grammars with Constructive Inductive Logic Programming
Automating the construction of semantic grammars is a di cult and interesting problem for machine learning. This paper shows how the semantic-grammar acquisition problem can be vi...
John M. Zelle, Raymond J. Mooney