7978 search results - page 244 / 1596 » Representation before computation |
152
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...
174
click to vote
CAV
2007
Springer
16 years 23 days 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...
165
click to vote
ECUMN
2007
Springer
16 years 23 days 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...
141
click to vote
GMP
2006
IEEE
16 years 19 days ago
2006
IEEE
Abstract. A new subdivision depth computation technique for extraordinary Catmull-Clark subdivision surface (CCSS) patches is presented. The new technique improves a previous techn...
167
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 ...