Sciweavers

8177 search results - page 1217 / 1636
» Detecting System Emulators
Sort
View
ICPR
2000
IEEE
15 years 11 months ago
Blackboard Segmentation Using Video Image of Lecture and Its Applications
We propose a method for segmentation of written regions on a blackboard in the lecture room using a video image. We firstly detect static edges of which locations on the image ar...
Masaki Onishi, Masao Izumi, Kunio Fukunaga
ICPR
2000
IEEE
15 years 11 months ago
Optic-Flow Information Extraction with Directional Gaussian-Derivatives
This work is intended to give some ideas to extract motion information from an image sequence. A directional energy is defined in terms of the 1-D Hermite transform coefficients o...
J. Luis Silván-Cárdenas, Boris Escal...
WETICE
2000
IEEE
15 years 11 months ago
Secure Self-Certified COTS
With the advent and the rising popularity of networks, Internet, intranets and distributed systems, security is becoming one of the major concerns in IT research. An increasing nu...
Mourad Debbabi, E. Giasson, Béchir Ktari, F...
APLAS
2000
ACM
15 years 11 months ago
A Generalization of Hybrid Let-Polymorphic Type Inference Algorithms
We present a generalized let-polymorphic type inference algorithm, prove that any of its instances is sound and complete with respect to the Hindley/Milner let-polymorphic type sy...
Oukseh Lee, Kwangkeun Yi
SIGCSE
2000
ACM
155views Education» more  SIGCSE 2000»
15 years 11 months ago
A study of common pitfalls in simple multi-threaded programs
It is generally acknowledged that developing correct multithreaded codes is difficult, because threads may interact with each other in unpredictable ways. The goal of this work i...
Sung-Eun Choi, E. Christopher Lewis
« Prev « First page 1217 / 1636 Last » Next »