4106 search results - page 279 / 822 » A Computational Model for Metric Spaces |
168
click to vote
BIRTHDAY
2009
Springer
16 years 1 months ago
2009
Springer
We present a new hybrid BDD and SAT-based algorithm for model checking. Our algorithm is based on backward search, where each pre-image computation consists of an efficient All-SA...
161
click to vote
ACL
2009
15 years 4 months ago
2009
Most NLP applications work under the assumption that a user input is error-free; thus, word segmentation (WS) for written languages that use word boundary markers (WBMs), such as ...
183
click to vote
CAV
2005
Springer
16 years 7 days ago
2005
Springer
In this work we study hybrid approaches to LTL symbolic model checking; that is, approaches that use explicit representations of the property automaton, whose state space is often ...
191
click to vote
RTSS
2009
IEEE
16 years 1 months ago
2009
IEEE
—Emerging applications of wireless sensor networks (WSNs) require real-time quality of service (QoS) guarantees to be provided by the network. However, designing real-time schedu...
185
click to vote
AAAI
2000
15 years 8 months ago
2000
Intelligent user interfaces often rely on modified applications and detailed application models. Such modifications and models are expensive to build and maintain. We propose to a...