1567 search results - page 189 / 314 » A Mechanized Model of the Theory of Objects |
129
Voted
MSCS
2007
15 years 1 months ago
2007
Introduced at the end of the nineties, the Rewriting Calculus (ρ-calculus, for short) is a simple calculus that fully integrates term-rewriting and λ-calculus. The rewrite rules...
134
Voted
MICCAI
2009
Springer
15 years 11 months ago
2009
Springer
Generating realistic geometric models from 3D segmented images is an important task in many biomedical applications. Segmented 3D images impose particular challenges for meshing a...
120
click to vote
IJCV
2002
15 years 1 months ago
2002
Abstract. A new, exemplar-based, probabilistic paradigm for visual tracking is presented. Probabilistic mechanisms are attractive because they handle fusion of information, especia...
112
click to vote
ALIFE
2008
15 years 1 months ago
2008
, reproductive value, soft selectionAbstract Structural complexity characterizes our representations of dissipative structures. As a mechanistic concept, when referred to natural s...
106
click to vote
NETWORK
2010
14 years 8 months ago
2010
In this article we report on applications and extensions of weighted graph theory in the design and control of communication networks. We model the communication network as a weig...