Sciweavers

3726 search results - page 495 / 746
» A structured definition of the modeling process
Sort
View
TCAD
1998
95views more  TCAD 1998»
15 years 6 months ago
High-precision interconnect analysis
— Integrated circuits have evolved to a stage where interconnections significantly limit their performance and functional complexity. We introduce a set of tools to perform high...
Rui Martins, Wolfgang Pyka, Rainer Sabelka, Siegfr...
JOLLI
2010
94views more  JOLLI 2010»
15 years 5 months ago
Querying Linguistic Trees
Large databases of linguistic annotations are used for testing linguistic hypotheses and for training language processing models. These linguistic annotations are often syntactic ...
Catherine Lai, Steven Bird
CDC
2009
IEEE
147views Control Systems» more  CDC 2009»
15 years 4 months ago
A probabilistic approach for control of a stochastic system from LTL specifications
We consider the problem of controlling a continuous-time linear stochastic system from a specification given as a Linear Temporal Logic (LTL) formula over a set of linear predicate...
Morteza Lahijanian, Sean B. Andersson, Calin Belta
TSP
2010
15 years 1 months ago
DOA estimation of quasi-stationary signals with less sensors than sources and unknown spatial noise covariance: a Khatri-Rao sub
In real-world applications such as those for speech and audio, there are signals that are nonstationary but can be modeled as being stationary within local time frames. Such signal...
Wing-Kin Ma, Tsung-Han Hsieh, Chong-Yung Chi
BMCBI
2008
132views more  BMCBI 2008»
15 years 6 months ago
The Average Mutual Information Profile as a Genomic Signature
Background: Occult organizational structures in DNA sequences may hold the key to understanding functional and evolutionary aspects of the DNA molecule. Such structures can also p...
Mark Bauer, Sheldon M. Schuster, Khalid Sayood