Sciweavers

4281 search results - page 58 / 857
» How to Disembed a Program
Sort
View
FASE
2000
Springer
13 years 11 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
13 years 9 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
SFP
2003
13 years 9 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
COLING
2000
13 years 9 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
13 years 9 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