5093 search results - page 17 / 1019 » How Real are Real Numbers |
VAST
2004
ACM
14 years 29 days ago
2004
ACM
In current city visualisations crowds are being included to increase realism in the scene. With the self-steering nature of crowds it is traditionally difficult to control the nu...
EUC
2004
Springer
14 years 28 days ago
2004
Springer
This paper presents an experimental evaluation of our scenario-based multithreading for real-time object-oriented models by the use of a case study of a Private Branch eXchange (PB...
ARTS
1999
Springer
13 years 11 months ago
1999
Springer
This paper discusses the adaptation of the PVS theorem prover for performing analysis of real-time systems written in the ASTRAL formal specification language. A number of issues w...
DEDS
2010
13 years 7 months ago
2010
Abstract-- The problem of optimally controlling the processing rate of tasks in Discrete Event Systems (DES) with hard real-time constraints has been solved in [9] under the assump...
CA
2003
IEEE
14 years 25 days ago
2003
IEEE
Regardless of whether the humans involved are virtual or real, well-developed conversational skills are a necessity. The synthesis of interface agents that are not only understand...