6960 search results - page 161 / 1392 » Continuity Analysis of Programs |
130
Voted
TACAS
2010
Springer
15 years 10 months ago
2010
Springer
Many algorithms on data structures such as terms (finitely branching trees) are naturally implemented by second-order recursion: A first-order procedure f passes itself as an arg...
106
click to vote
ICCCN
2007
IEEE
15 years 9 months ago
2007
IEEE
– Within the context of Tele-Laboratories for Education the use of the Internet as communication media permits any researcher/student to perform remote experiments in a simple an...
157
click to vote
IPAS
2010
15 years 1 months ago
2010
In this paper, we consider facial expression recognition using an unsupervised learning framework. Specifically, given a data set composed of a number of facial images of the same...
122
Voted
ICDCS
2003
IEEE
15 years 8 months ago
2003
IEEE
In this paper, we focus on automated techniques to enhance the fault-tolerance of a nonmasking fault-tolerant program to masking. A masking program continually satisfies its spec...
AOSD
2010
ACM
15 years 10 months ago
2010
ACM