11436 search results - page 370 / 2288 » Modeling Real Reasoning |
131
click to vote
FORMATS
2004
Springer
15 years 10 months ago
2004
Springer
We propose an effective and complete method for verifying safety and properties of timed systems, which is based on predicate abstraction for g finite abstractions of timed autom...
148
click to vote
GECCO
2004
Springer
15 years 10 months ago
2004
Springer
This paper describes a continuous estimation of distribution algorithm (EDA) to solve decomposable, real-valued optimization problems quickly, accurately, and reliably. This is the...
128
click to vote
WORDS
2003
IEEE
15 years 10 months ago
2003
IEEE
Due to the lack of QoS support, ensuring an acceptable application level QoS for the real-time delivery of multiobject multimedia presentations on the current Internet is very cha...
149
Voted
AFRIGRAPH
2003
ACM
15 years 10 months ago
2003
ACM
In this paper we describe an image based object recognition and tracking method for mobile AR-devices and the correlative process to generate the required data. The object recogni...
160
click to vote
ARTQOS
2003
Springer
15 years 10 months ago
2003
Springer
A crucial factor for real-time (interactive) services is the end-to-end delay experienced by the application. The contribution resulting from the queuing delay induced by the netwo...