9405 search results - page 1377 / 1881 » Computing a Model of Set Theory |
188
click to vote
PARLE
1987
15 years 10 months ago
1987
A context-freegrammar(CFG)in GreibachNormalForm coincides,in anothernotation,witha system of guarded recursion equations in Basic Process Algebra. Hence to each CFG a process can b...
187
click to vote
ICPR
2010
IEEE
15 years 10 months ago
2010
IEEE
This paper presents a distributed Support Vector Machine (SVM) algorithm in order to detect malicious software (malware) on a network of mobile devices. The light-weight system mo...
191
click to vote
ICPR
2010
IEEE
15 years 9 months ago
2010
IEEE
We propose a method for interactive colour image segmentation. The goal is to detect an object from the background, when some markers on object(s) and the background are given. As...
191
click to vote
AMDO
2008
Springer
15 years 9 months ago
2008
Springer
We present a technique for face recognition in videos. We are able to recognise a face in a video sequence, given a single gallery image. By assuming that the face is in an approxi...
193
click to vote
CONCUR
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Delaying the synchronization of actions may reveal some hidden behavior that would not happen if the synchronization met the specified deadlines. This precise phenomenon...