5093 search results - page 17 / 1019 » How Real are Real Numbers |
123
click to vote
VAST
2004
ACM
15 years 8 months 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...
133
click to vote
EUC
2004
Springer
15 years 8 months 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...
124
click to vote
ARTS
1999
Springer
15 years 7 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...
143
click to vote
DEDS
2010
15 years 3 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...
140
click to vote
CA
2003
IEEE
15 years 8 months 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...