Sciweavers

4666 search results - page 295 / 934
» Equations on Timed Languages
Sort
View
ICCAD
2002
IEEE
129views Hardware» more  ICCAD 2002»
16 years 3 months ago
Transmission line design of clock trees
We investigate appropriate regimes for transmission line propagation of signals on digital integrated circuits. We start from exact solutions to the transmission line equations pr...
Rafael Escovar, Roberto Suaya
DASFAA
2009
IEEE
134views Database» more  DASFAA 2009»
16 years 1 months ago
Selectivity Estimation for Exclusive Query Translation in Deep Web Data Integration
In Deep Web data integration, some Web database interfaces express exclusive predicates of the form Qe = Pi(Pi ∈ P1, P2, . . . , Pm), which permits only one predicate to be selec...
Fangjiao Jiang, Weiyi Meng, Xiaofeng Meng
HPCS
2007
IEEE
16 years 1 months ago
Nonlinear Simulation of Thermo-viscous Fingering in Miscible Displacements in Porous Media
The nonlinear simulation of interfacial instabilities in miscible displacements in porous media often requires sophisticated numerical algorithms as well as very fine spatial and ...
M. N. Islam, B. B. Maini, J. Azaiez
182
Voted
ACCV
2007
Springer
16 years 28 days ago
Fast 3-D Interpretation from Monocular Image Sequences on Large Motion Fields
Abstract. This paper proposes a fast method for dense 3-D interpretation to directly estimate a dense map of relative depth and motion from a monocular sequence of images on large ...
Jong-Sung Kim, Ki-Sang Hong
185
Voted
CSFW
2006
IEEE
16 years 24 days ago
Simulation-Based Security with Inexhaustible Interactive Turing Machines
Recently, there has been much interest in extending models for simulation-based security in such a way that the runtime of protocols may depend on the length of their input. Findi...
Ralf Küsters