Sciweavers

14190 search results - page 51 / 2838
» Abstractions for hybrid systems
Sort
View
HYBRID
2010
Springer
15 years 1 months ago
Monte-carlo techniques for falsification of temporal properties of non-linear hybrid systems
Truong Nghiem, Sriram Sankaranarayanan, Georgios E...
ECAI
2006
Springer
15 years 3 months ago
SUMMaR: Combining Linguistics and Statistics for Text Summarization
Abstract. We describe a text summarization system that moves beyond standard approaches by using a hybrid approach of linguistic and statistical analysis and by employing text-sort...
Manfred Stede, Heike Bieler, Stefanie Dipper, Arth...
ISCAS
2008
IEEE
133views Hardware» more  ISCAS 2008»
15 years 6 months ago
A hybrid self-testing methodology of processor cores
—Software-based self-test (SBST) is a promising new technology for at-speed testing of embedded processors in SoC systems. This paper introduces an effective and efficient new ho...
Tai-Hua Lu, Chung-Ho Chen, Kuen-Jong Lee
MIG
2010
Springer
14 years 10 months ago
Full-Body Hybrid Motor Control for Reaching
Abstract. In this paper, we present a full-body motor control mechanism that generates coordinated and diverse motion during a reaching action. Our framework animates the full huma...
Wenjia Huang, Mubbasir Kapadia, Demetri Terzopoulo...
ACL
2010
14 years 10 months ago
A Hybrid Hierarchical Model for Multi-Document Summarization
Scoring sentences in documents given abstract summaries created by humans is important in extractive multi-document summarization. In this paper, we formulate extractive summariza...
Asli Çelikyilmaz, Dilek Hakkani-Tur