Sciweavers

2626 search results - page 428 / 526
» The complexity of stochastic sequences
Sort
View
CAV
2007
Springer
121views Hardware» more  CAV 2007»
16 years 19 days ago
Algorithms for Interface Synthesis
Abstract. A temporal interface for a software component is a finite automaton that specifies the legal sequences of calls to functions that are provided by the component. We comp...
Dirk Beyer, Thomas A. Henzinger, Vasu Singh
GECCO
2007
Springer
189views Optimization» more  GECCO 2007»
16 years 18 days ago
A more bio-plausible approach to the evolutionary inference of finite state machines
With resemblance of finite-state machines to some biological mechanisms in cells and numerous applications of finite automata in different fields, this paper uses analogies an...
Hooman Shayani, Peter J. Bentley
HUMO
2007
Springer
16 years 18 days ago
Multi Person Tracking Within Crowded Scenes
This paper presents a solution to the problem of tracking people within crowded scenes. The aim is to maintain individual object identity through a crowded scene which contains com...
Andrew Gilbert, Richard Bowden
HUMO
2007
Springer
16 years 18 days ago
Human Action Recognition Using Distribution of Oriented Rectangular Patches
We describe a “bag-of-rectangles” method for representing and recognizing human actions in videos. In this method, each human pose in an action sequence is represented by orien...
Nazli Ikizler, Pinar Duygulu
KI
2007
Springer
16 years 18 days ago
Bridging the Sense-Reasoning Gap Using DyKnow: A Knowledge Processing Middleware Framework
To achieve complex missions an autonomous unmanned aerial vehicle (UAV) operating in dynamic environments must have and maintain situational awareness. This can be achieved by cont...
Fredrik Heintz, Piotr Rudol, Patrick Doherty