63 search results - page 6 / 13 » Testing primitivity on partial words |
CVIU
2010
13 years 7 months ago
2010
This paper presents a real-time vision-based system to assist a person with dementia wash their hands. The system uses only video inputs, and assistance is given as either verbal ...
FOCS
1999
IEEE
13 years 12 months ago
1999
IEEE
Naor and Yung show that a one-bit-compressing universal one-way hash function (UOWHF) can be constructed based on a one-way permutation. This construction can be iterated to build...
ICLP
2009
Springer
14 years 8 months ago
2009
Springer
Abstract. We present a framework that unifies unit testing and runtime verification (as well as static verification and static debugging). A key contribution of our overall approac...
SIAMSC
2010
13 years 6 months ago
2010
In this paper, we will first introduce a novel multiscale representation (MSR) for shapes via level set motions and partial differential equations (PDEs). Based on the MSR, we wi...
GPCE
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. SafeGen is a meta-programming language for writing statically safe generators of Java programs. If a program generator written in SafeGen passes the checks of the SafeGen...