1010 search results - page 24 / 202 » Logics for Contravariant Simulations |
163
click to vote
IJCAI
1989
15 years 7 months ago
1989
We Imbed Into a first order logic a representation language that combines atemporal knowledge with time stamps in a hierarchical fashion. Each time structure contains its own chro...
167
click to vote
IJVR
2007
15 years 5 months ago
2007
—This paper describes a framework for animating and controlling articulated bodies in a fluid simulation. We illustrate this approach by simulating an autonomous fish in various ...
128
click to vote
ISLPED
1996
ACM
15 years 10 months ago
1996
ACM
The power versus frequency performance of a micropipelined conventional CMOS logic family is compared with that of three similarly pipelined energy-recovering logic families. Usin...
160
click to vote
DAC
1990
ACM
15 years 9 months ago
1990
ACM
Symbolic simulation involves evaluating circuit behavior using special symbolic values to encode a range of circuit operating conditions. In one simulation run, a symbolic simulat...