Sciweavers

1583 search results - page 130 / 317
» Feature Interaction Detection in the Feature Language Extens...
Sort
View
ICPR
2004
IEEE
16 years 7 months ago
Eye Tracking Using Markov Models
We propose an eye detection and tracking method based on color and geometrical features of the human face using a monocular camera. In this method a decision is made on whether th...
A. M. Bagci, Ashfaq A. Khokhar, E. Cetin, Rashid A...
EMSOFT
2004
Springer
15 years 11 months ago
A typed assembly language for real-time programs
We present a type system for E code, which is an assembly language that manages the release, interaction, and termination of real-time tasks. E code specifies a deadline for each...
Thomas A. Henzinger, Christoph M. Kirsch
ICFP
1999
ACM
15 years 10 months ago
Type Dispatch for Named Hierarchical Types
Type dispatch constructs are an important feature of many programming languages. Scheme has predicates for testing the runtime type of a value. Java has a class cast expression an...
Neal Glew
ICMCS
2008
IEEE
181views Multimedia» more  ICMCS 2008»
16 years 23 days ago
Coarse-to-fine video text detection
In this paper, we propose an effective coarse-to-fine algorithm to detect text in video. Firstly, in coarse-detection section, stroke filter is employed to detect all candidate st...
Guangyi Miao, Qingming Huang, Shuqiang Jiang, Wen ...
JAR
2008
81views more  JAR 2008»
15 years 6 months ago
Automatic Symmetry Detection for Promela
We introduce a specification language, Promela-Lite, which captures the essential features of Promela but which, unlike Promela, has a formally defined semantics. We show how we ca...
Alastair F. Donaldson, Alice Miller