29143 search results - page 385 / 5829 » A Sortation System Model |
162
click to vote
ICIP
2002
IEEE
15 years 11 months ago
2002
IEEE
Automatically extracting object models from images is a complex task. We describe research in extracting 3-D models of buildings from aerial images. This work has resulted in seve...
197
click to vote
TABLEAUX
2009
Springer
16 years 1 months ago
2009
Springer
We are interested in automatically proving safety properties of infinite state systems. We present a technique for invariant synthesis which can be incorporated in backward reacha...
178
click to vote
ECOWS
2007
Springer
16 years 27 days ago
2007
Springer
Service engineering and service-oriented architecture as an integration and platform technology is a recent approach to software systems integration. Software quality aspects such ...
180
click to vote
CDC
2010
IEEE
15 years 1 months ago
2010
IEEE
Abstract-- Given a plant, together with an exosystem generating the disturbances and the reference signals, the problem of asymptotic tracking and regulation is to find a controlle...
167
click to vote
ICPR
2000
IEEE
16 years 7 months ago
2000
IEEE
In this paper a robust multifont character recognition system for degraded documents such as photocopy or fax is described. The system is based on Hidden Markov Models (HMMs) usin...