867 search results - page 84 / 174 » On Two Forms of Structural Recursion |
120
Voted
TCSV
2008
15 years 16 days ago
2008
Object tracking is one of the fundamental problems in computer vision and has received considerable attention in the past two decades. The success of a tracking algorithm relies on...
111
click to vote
CORR
2010
Springer
14 years 7 months ago
2010
Springer
Abstract: Transactional network data can be thought of as a list of oneto-many communications (e.g., email) between nodes in a social network. Most social network models convert th...
104
Voted
ICAIL
2009
ACM
15 years 5 months ago
2009
ACM
We propose an analysis of the codified Law of France as a structured system. Fifty two legal codes are selected on the basis of explicit legal criteria and considered as vertices ...
ACSC
2004
IEEE
15 years 4 months ago
2004
IEEE
The study of self-replicating structures in Computer Science has been taking place for more than half a century, motivated by the desire to understand the fundamental principles a...
114
click to vote
CORR
2010
Springer
15 years 22 days ago
2010
Springer
Refinement types sharpen systems of simple and dependent types by offering expressive means to more precisely classify well-typed terms. We present a system of refinement types for...