14190 search results - page 210 / 2838 » Abstractions for hybrid systems |
174
click to vote
BROADNETS
2004
IEEE
15 years 10 months ago
2004
IEEE
This document presents provisioning strategies for emerging hybrid optical networks. The idea is to make use of policy-based management that guides the behavior of a network throu...
184
click to vote
NAACL
2007
15 years 8 months ago
2007
We propose a high-performance cascaded hybrid model for Chinese NER. Firstly, we use Boosting, a standard and theoretically wellfounded machine learning method to combine a set of...
199
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
rexample Guided Abstraction-Refinement Framework for Markov Decision Processes ROHIT CHADHA and MAHESH VISWANATHAN Dept. of Computer Science, University of Illinois at Urbana-Champ...
174
click to vote
CADE
2010
Springer
15 years 4 months ago
2010
Springer
x-free and employs a novel clausal form that abstracts away from propositional reasoning. It comes with an elegant correctness proof. We discuss some optimizations for decision pro...
145
click to vote
ENTCS
2008
15 years 6 months ago
2008
and Abstract Interpretation for C/C++ Programs Helge L