4354 search results - page 323 / 871 » Matching Objects with Patterns |
133
click to vote
TYPES
2004
Springer
15 years 8 months ago
2004
Springer
We present four constructions for standard equipment which can be generated for every inductive datatype: case analysis, structural recursion, no confusion, acyclicity. Our constru...
140
click to vote
GBRPR
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. Motion capture, a currently active research area, needs estimation of the pose of the subject. This requires a match between a model and the 3D shape, constructed using a...
114
click to vote
AAAI
1997
15 years 4 months ago
1997
This paper describes an approach for representing and manipulating sequences in description logics (DLs). The key idea is to represent sequences using sux trees, then represent t...
119
Voted
IADIS
2009
15 years 1 months ago
2009
In this paper, we propose a new approach for the automatic audio-based out-of-scene detection of audio-visual data, recorded by different cameras, camcorders or mobile phones duri...
121
click to vote
JOC
2011
14 years 10 months ago
2011
In this paper we introduce a new primitive called identity-based encryption with wildcards, or WIBE for short. It allows a sender to encrypt messages to a whole range of receivers ...