1010 search results - page 24 / 202 » Logics for Contravariant Simulations |
IJCAI
1989
13 years 9 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...
IJVR
2007
13 years 8 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 ...
ISLPED
1996
ACM
14 years 4 days 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...
PATMOS
2005
Springer
14 years 1 months ago
2005
Springer
DAC
1990
ACM
14 years 1 days 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...