19985 search results - page 3602 / 3997 » Modelling Ecological Data |
154
click to vote
KBSE
1999
IEEE
15 years 9 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...
114
click to vote
EPIA
1999
Springer
15 years 9 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...
131
click to vote
PG
1999
IEEE
15 years 9 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...
147
click to vote
TOOLS
1999
IEEE
15 years 9 months ago
1999
IEEE
Class algebra provides a natural framework for sharing of ISA hierarchies between users that may be unaware of each other's definitions. This permits data from relational dat...
142
click to vote
ICIAP
1999
ACM
15 years 9 months ago
1999
ACM
ÐThis paper describes a novel framework for comparing and matching corrupted relational graphs. The paper develops the idea of edit-distance originally introduced for graph-matchi...