101–120 of 1,629 hits
|

    Trace Quotient Problems Revisited

    Free access
    Yan, Shuicheng / Tang, Xiaoou | Springer Verlag | 2006
    Publisher: Springer Berlin Heidelberg , Berlin, Heidelberg

    Towards Verification of Model Transformations Via Goal-Directed Certification

    Karsai, Gabor / Narayanan, Anantha | Springer Verlag | 2008
    Publisher: Springer Berlin Heidelberg , Berlin, Heidelberg

    Towards Safer, Faster Prenatal Genetic Tests: Novel Unsupervised, Automatic and Robust Methods of Segmentation of Nuclei and Probes

    Free access
    Restif, Christophe | Springer Verlag | 2006
    Publisher: Springer Berlin Heidelberg , Berlin, Heidelberg

    Towards Optimal Training of Cascaded Detectors

    Free access
    Brubaker, S. Charles / Mullin, Matthew D. / Rehg, James M. | Springer Verlag | 2006
    Publisher: Springer Berlin Heidelberg , Berlin, Heidelberg

    Towards Model-Driven Development of Hard Real-Time Systems

    Integrating ASCET and aiT/StackAnalyzer
    Ferdinand, Christian / Heckmann, Reinhold / Wolff, Hans-Jörg et al. | Springer Verlag | 2008
    Publisher: Springer Berlin Heidelberg , Berlin, Heidelberg

    Towards Integrated Model-Driven Verification and Empirical Validation of Reusable Software Frameworks for Automotive Systems

    Subramonian, Venkita / Gill, Christopher | Springer Verlag | 2008
    Publisher: Springer Berlin Heidelberg , Berlin, Heidelberg

    Towards Design and Integration of a Vehicle-to-X Based Adaptive Cruise Control

    Sander, Oliver / Roth, Christoph / Glas, Benjamin et al. | Tema Archive | 2012
    Publisher: Springer Berlin Heidelberg , Berlin, Heidelberg

    Towards a Guaranteed Solution to Plane-Based Self-calibration

    Bocquillon, Benoît / Gurdjos, Pierre / Crouzil, Alain | Springer Verlag | 2006
    Publisher: Springer Berlin Heidelberg , Berlin, Heidelberg

    Toward Safe Human Robot Interaction: Integration of Compliance Control, an Anthropomorphic Hand and Verbal Communication

    Khan, Said Ghani / Lenz, Alexander / Herrmann, Guido et al. | Springer Verlag | 2011
    Publisher: Springer Berlin Heidelberg , Berlin, Heidelberg

    Towards a Component Architecture for Hard Real Time Control Applications

    Pree, Wolfgang / Templ, Josef | Springer Verlag | 2006
    Publisher: Springer Berlin Heidelberg , Berlin, Heidelberg

    Toward Revocation Data Handling Efficiency in VANETs

    Ganan, Carlos / Munoz, Jose L. / Esparza, Oscar et al. | Tema Archive | 2012
    Publisher: Springer Berlin Heidelberg , Berlin, Heidelberg

    Total Absolute Gaussian Curvature for Stereo Prior

    Ishikawa, Hiroshi | Springer Verlag | 2007
    Publisher: Springer Berlin Heidelberg , Berlin, Heidelberg

    Torque Calculation for a Radial Field Permanent Magnet Coupler in a Pump by Analytical Technique

    Du, Shiqin | Springer Verlag | 2014
    Publisher: Springer Berlin Heidelberg , Berlin, Heidelberg

    Top-Points as Interest Points for Image Matching

    Free access
    Platel, B. / Balmachnova, E. / Florack, L. M. J. et al. | Springer Verlag | 2006
    Publisher: Springer Berlin Heidelberg , Berlin, Heidelberg

    To Design the University Online Teaching System Based on the Features of the Cultural Psychology of College Students

    Caiyun, Gao / Zhiwei, Qiu / Dongmei, Zhao | Springer Verlag | 2012
    Publisher: Springer Berlin Heidelberg , Berlin, Heidelberg

    Time series analysis methods and applications for flight data

    Zhang, Jianye / Zhang, Peng | TIBKAT | 2017
    Publisher: Springer , Berlin , Heidelberg , Beijing

    Three-Stage Motion Deblurring from a Video

    Ren, Chunjian / Chen, Wenbin / Shen, I-fan | Springer Verlag | 2007
    Publisher: Springer Berlin Heidelberg , Berlin, Heidelberg

    Three-speed transmission system for purely electric vehicles

    Zhang, Z. / Zuo, C. / Hao, W. et al. | Springer Verlag | 2013
    Publisher: Springer Berlin Heidelberg , Berlin/Heidelberg

    Three Dimensional Position Measurement for Maxillofacial Surgery by Stereo X-Ray Images

    Ohta, Naoya / Mogi, Kenji / Nakasone, Yoshiki | Springer Verlag | 2007
    Publisher: Springer Berlin Heidelberg , Berlin, Heidelberg

    Threaded C and Freezer OS

    Baltes, Jacky / Iverach-Brereton, Chris / Cheng, Chi Tai et al. | Springer Verlag | 2011
    Publisher: Springer Berlin Heidelberg , Berlin, Heidelberg