10061 search results - page 1795 / 2013 » Statistical Models of Conditioning |
133
click to vote
SSD
2001
Springer
15 years 8 months ago
2001
Springer
The development of spatiotemporal database systems is primarily motivated by applications tracking and presenting mobile objects. Another important trend is the visualization and p...
130
Voted
STACS
2001
Springer
15 years 8 months ago
2001
Springer
Using an automata-theoretic approach, we investigate the decidability of liveness properties (called Presburger liveness properties) for timed automata when Presburger formulas on ...
140
Voted
ICCAD
2000
IEEE
15 years 8 months ago
2000
IEEE
A high accuracy system for transistor-level static timing analysis is presented. Accurate static timing verification requires that individual gate and interconnect delays be accu...
150
click to vote
ICCAD
2000
IEEE
15 years 8 months ago
2000
IEEE
This paper presents an efficient method for optimizing power/ground (P/G) networks by widening wires and adding decoupling capacitors (decaps). It proposes a structured skeleton t...
161
click to vote
ICMCS
2000
IEEE
15 years 8 months ago
2000
IEEE
Facial animation has been combined with text-to-speech synthesis to create innovative multimodal interfaces. In this paper, we present an architecture for this multimodal interfac...