24444 search results - page 4568 / 4889 » A Data Model for Data Integration |
166
click to vote
IPPS
1999
IEEE
15 years 11 months ago
1999
IEEE
This work implements and analyses a highway traffic flow simulation based on continuum modeling of traffic dynamics. A traffic-flow simulation was developed and mapped onto a para...
192
click to vote
ECOOP
1999
Springer
15 years 11 months ago
1999
Springer
Program errors are hard to find because of the cause-effect gap between the time when an error occurs and the time when the error becomes apparent to the programmer. Although debu...
193
click to vote
KBSE
1999
IEEE
15 years 11 months ago
1999
IEEE
Modularization and abstraction are the keys to practical verification and analysis of large and complex systems. We present in an incremental methodology for the automatic analysi...
141
click to vote
EPIA
1999
Springer
15 years 11 months ago
1999
Springer
YapOr is an or-parallel system that extends the Yap Prolog system to exploit implicit or-parallelism in Prolog programs. It is based on the environment copying model, as first imp...
173
click to vote
PG
1999
IEEE
15 years 11 months ago
1999
IEEE
This paper presents a method to retarget the motion of a character to another in real-time. The technique is based on inverse rate control, which computes the changes in joint ang...