Sciweavers

1583 search results - page 130 / 317
» Feature Interaction Detection in the Feature Language Extens...
Sort
View
ICPR
2004
IEEE
16 years 4 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...
116
Voted
EMSOFT
2004
Springer
15 years 9 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
138
Voted
ICFP
1999
ACM
15 years 8 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
143
Voted
ICMCS
2008
IEEE
181views Multimedia» more  ICMCS 2008»
15 years 10 months 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 3 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