2467 search results - page 303 / 494 » Finite State Machines |
170
click to vote
DAGM
2009
Springer
16 years 1 months ago
2009
Springer
We present a novel pedestrian detection system based on probabilistic component assembly. A part-based model is proposed which uses three parts consisting of head-shoulder, torso a...
175
click to vote
TPHOL
2007
IEEE
16 years 25 days ago
2007
IEEE
This paper concerns the formal semantics of programming languages, and the specification and verification of software. We are interested in the verification of real programs, wr...
128
click to vote
ECML
2007
Springer
16 years 22 days ago
2007
Springer
In this article, we present an idea for solving deterministic partially observable markov decision processes (POMDPs) based on a history space containing sequences of past observat...
169
click to vote
VTC
2006
IEEE
16 years 17 days ago
2006
IEEE
— A mobile ad hoc network (MANET) is vulnerable to malicious attacks although it is suitable for various environments because of its rapid establishment. In order to set up a sec...
129
click to vote
ICALT
2005
IEEE
16 years 5 days ago
2005
IEEE
The purpose of this paper is to present the current state and future development of the PLATINEA project. This project allows students and teachers to create and to consolidate kn...