8669 search results - page 402 / 1734 » Computing matrix representations |
164
click to vote
GECCO
2005
Springer
16 years 12 days ago
2005
Springer
Finding motifs — patterns of conserved residues — within nucleotide and protein sequences is a key part of understanding function and regulation within biological systems. Thi...
161
click to vote
DATE
2000
IEEE
15 years 11 months ago
2000
IEEE
A new method for computation of timing jitter in a PLL is proposed. The computational method is based on the representation of the circuit as a linear time-varying system with mod...
180
Voted
CAV
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. We present an extrapolation with care set operator to accelerate termination of reachability computation with polyhedra. At the same time, a counterexample guided refine...
172
click to vote
ECUMN
2007
Springer
16 years 1 months ago
2007
Springer
Abstract— The paper presents a location-aware communication approach in smart home environments. It is constructed on a symbolic location model to represent the containment relat...
173
click to vote
LPNMR
2009
Springer
15 years 11 months ago
2009
Springer
For some problems with many solutions, like planning and phylogeny reconstruction, one way to compute more desirable solutions is to assign weights to solutions, and then pick the ...