Sciweavers

1229 search results - page 96 / 246
» A New Method for Dependent Parsing
Sort
View
CAV
2009
Springer
165views Hardware» more  CAV 2009»
14 years 1 months ago
Equivalence Checking of Static Affine Programs Using Widening to Handle Recurrences
Designers often apply manual or semi-automatic loop and data transformations on array and loop intensive programs to improve performance. The transformations should preserve the fu...
Sven Verdoolaege, Gerda Janssens, Maurice Bruynoog...
TCAD
2002
128views more  TCAD 2002»
13 years 8 months ago
Preferred direction Steiner trees
Interconnect optimization for VLSI circuits has received wide attention. To model routing surfaces, multiple circuit layers are freabstracted as a single rectilinear plane, ignori...
Mehmet Can Yildiz, Patrick H. Madden
RE
2008
Springer
13 years 8 months ago
Requirements Capture with RCAT
NASA spends millions designing and building spacecraft for its missions. The dependence on software is growing as spacecraft become more complex. With the increasing dependence on...
Margaret H. Smith, Klaus Havelund
ISVC
2010
Springer
13 years 7 months ago
Symmetry Enhanced Adaboost
This paper describes a method to minimize the immense training time of the conventional Adaboost learning algorithm in object detection by reducing the sampling area. A new algorit...
Florian Baumann, Katharina Ernst, Arne Ehlers, Bod...
ICASSP
2011
IEEE
13 years 24 days ago
An analytic approach in joint delay and Doppler estimation using copula
In this paper, a new method is proposed for delay and Doppler estimation using copula theory. Copula analysis helps to explore the underlying inter-dependence between the desired ...
Mohammad Hossein Gholizadeh, Hamidreza Amindavar