16430 search results - page 628 / 3286 » On Computable Tree Functions |
174
click to vote
ICCS
2007
Springer
15 years 11 months ago
2007
Springer
In this paper, we propose an efficient measurement of the eye blinking for drowsy driver detection system that is one of the driver safety systems for the intelligent vehicle. Howe...
202
click to vote
DAC
2004
ACM
15 years 11 months ago
2004
ACM
Random test generators are often used to create regression suites on-the-fly. Regression suites are commonly generated by choosing several specifications and generating a number o...
190
click to vote
FPCA
1995
15 years 10 months ago
1995
This paper discusses the derivation of functional programs for grammar analysis problems, such as the Empty problem and the Reachable problem. Grammar analysis problems can be div...
178
click to vote
ACMACE
2008
ACM
15 years 9 months ago
2008
ACM
Though often desirable, the integration of real and virtual elements in mixed reality environments can be difficult. We propose a number of techniques to facilitate scene explorat...
191
click to vote
IJCAI
2003
15 years 8 months ago
2003
Disjunctive Logic Programming (DLP) is a very expressive formalism: it allows to express every property of finite structures that is decidable in the complexity class ¡£¢¤ (...