867 search results - page 83 / 174 » On Two Forms of Structural Recursion |
134
click to vote
IJON
2010
15 years 4 months ago
2010
This paper presents varifold learning, a learning framework based on the mathematical concept of varifolds. Different from manifold based methods, our varifold learning framework ...
196
click to vote
ICIP
2010
IEEE
15 years 4 months ago
2010
IEEE
We introduce a novel functional for vector-valued images that generalizes several variational methods, such as the Total Variation and Beltrami Functionals. This functional is bas...
154
click to vote
TABLETOP
2006
IEEE
16 years 8 days ago
2006
IEEE
In this work, we create social visualizations of aural group conversation. These visualizations are tailored to a table setting. Examples of such settings are a family sitting abo...
165
click to vote
BIRTHDAY
2005
Springer
15 years 11 months ago
2005
Springer
The paper introduces a novel approach to the synthesis of labelled transition systems for calculi with name mobility. The proposal is based on a graphical encoding: Each process is...
162
click to vote
HICSS
2010
IEEE
16 years 1 months ago
2010
IEEE
This paper introduces a new architecture for automating the generalization of program structure and the recognition of common patterns in the area of malware analysis. By using ma...