4693 search results - page 221 / 939 » Verifying Hybrid Systems |
150
click to vote
COLING
2008
15 years 8 months ago
2008
This paper presents an implemented hybrid approach to grammar and style checking, combining an industrial patternbased grammar and style checker with bidirectional, large-scale HP...
157
click to vote
LREC
2008
15 years 8 months ago
2008
Large-scale grammar-based parsing systems nowadays increasingly rely on independently developed, more specialized components for pre-processing their input. However, different too...
176
click to vote
NIPS
2008
15 years 8 months ago
2008
Extensive labeled data for image annotation systems, which learn to assign class labels to image regions, is difficult to obtain. We explore a hybrid model framework for utilizing...
151
click to vote
CONCURRENCY
2010
15 years 6 months ago
2010
Abstract. We introduce a distributed high performance hybrid Information Service Architecture, which forms a metadata replica hosting system to manage both highlydynamic, small-sca...
180
click to vote
CDC
2009
IEEE
15 years 4 months ago
2009
IEEE
In this paper, we propose the Distributed Hybrid Filter (DHF) to overcome the performance degradation in Sigma Point Filters caused by bad linearization. A quantifiable criterion t...