666 search results - page 14 / 134 » Inspector Methods for State Abstraction |
POPL
2010
ACM
15 years 7 months ago
2010
ACM
The method of logical relations is a classic technique for proving the equivalence of higher-order programs that implement the same observable behavior but employ different intern...
ICRA
2009
IEEE
15 years 4 months ago
2009
IEEE
Abstract— In this paper, we propose a deformable-modeldriven method to recognize the state of hanging clothes using three-dimensional (3D) observed data. For the task to pick up ...
CICLING
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Language software applications encounter new words, e.g., acronyms, technical terminology, names or compounds of such words. In order to add new words to a lexicon, we ne...
GECCO
2010
Springer
14 years 9 months ago
2010
Springer
State machines are a popular method of representing a syshigh level of abstraction that enables developers to gain an overview of the system they represent and quickly understand ...
68
Voted
ICRA
2003
IEEE
15 years 2 months ago
2003
IEEE
Abstract − A deadlock-free unsafe (DFU) state of Resource Allocation System (RAS) is deadlock-free but inevitable to enter a deadlock state. Previous research revealed that in ma...