Sciweavers

2997 search results - page 428 / 600
» Fuzzy robustness analysis
Sort
View
IWPT
2001
13 years 11 months ago
Parsing the CHILDES Database: Methodology and Lessons Learned
This paper discusses the process of parsing adult utterances directed to a child, in an effort to produce a syntactically annotated corpus of the verbal input to a human language ...
Kenji Sagae, Alon Lavie, Brian MacWhinney
CADE
2010
Springer
13 years 11 months ago
A Slice-Based Decision Procedure for Type-Based Partial Orders
Automated software verification and path-sensitive program analysis require the ability to distinguish executable program paths from those that are infeasible. To achieve this, pro...
Elena Sherman, Brady J. Garvin, Matthew B. Dwyer
ESORICS
2010
Springer
13 years 11 months ago
A New Framework for RFID Privacy
Formal RFID security and privacy frameworks are fundamental to the design and analysis of robust RFID systems. In this paper, we develop a new definitional framework for RFID priv...
Robert H. Deng, Yingjiu Li, Moti Yung, Yunlei Zhao
AR
2008
143views more  AR 2008»
13 years 10 months ago
Toward Human-Like Real-Time Manipulation: From Perception to Motion Planning
Human-like behavior is crucial for intelligent service robots that are to perform versatile tasks in day to day life. In this paper, an integrated approach to human-like manipulat...
Sukhan Lee, Hadi Moradi, Daesik Jang, Han-Young Ja...
AUTOMATICA
2008
95views more  AUTOMATICA 2008»
13 years 10 months ago
Uniform semiglobal practical asymptotic stability for non-autonomous cascaded systems and applications
It is due to the modularity they provide that results for cascaded systems have proved their utility in numerous control applications as well as in the development of general cont...
Antoine Chaillet, Antonio Loría