11436 search results - page 370 / 2288 » Modeling Real Reasoning |
174
click to vote
FORMATS
2004
Springer
16 years 5 days 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...
189
click to vote
GECCO
2004
Springer
16 years 5 days 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...
163
click to vote
WORDS
2003
IEEE
16 years 2 days 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...
192
click to vote
AFRIGRAPH
2003
ACM
16 years 1 days 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...
200
click to vote
ARTQOS
2003
Springer
16 years 1 days 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...