16430 search results - page 296 / 3286 » On Computable Tree Functions |
121
click to vote
ICPR
2008
IEEE
16 years 6 months ago
2008
IEEE
We present a system for detecting and recognizing faces in images in real-time which is able to learn new identities in instants. In mobile service robotics, interaction with pers...
134
click to vote
WG
2004
Springer
15 years 10 months ago
2004
Springer
The family of well-orderly maps is a family of planar maps with the property that every connected planar graph has at least one plane embedding which is a well-orderly map. We show...
112
click to vote
BIRTHDAY
2010
Springer
15 years 8 months ago
2010
Springer
Given two strings, a pattern P of length m and a text T of length n over some alphabet of size , we consider the exact string matching problem, i.e. we want to report all occurren...
109
click to vote
ACL
2012
13 years 7 months ago
2012
The language MIX consists of all strings over the three-letter alphabet {a, b, c} that contain an equal number of occurrences of each letter. We prove Joshi’s (1985) conjecture ...
150
click to vote
LICS
2005
IEEE
15 years 10 months ago
2005
IEEE
We introduce the language QML, a functional language for quantum computations on finite types. Its design is guided by its categorical semantics: QML programs are interpreted by ...