21342 search results - page 178 / 4269 » Structured language modeling |
126
click to vote
PROFES
2001
Springer
15 years 7 months ago
2001
Springer
Component-based software has a self-similar structure on el of abstraction, i.e. its structure is fractal. Traditional software processes, however, have a linear or iterated struct...
160
click to vote
COMPASS
1994
15 years 7 months ago
1994
We give a notation and a logical calculus for the description and deductive manipulation of dynamic networks of communicating components. We represent such nets by hierarchical sys...
139
click to vote
CORR
2008
Springer
15 years 3 months ago
2008
Springer
PGA (ProGram Algebra) is an algebra of programs which concerns programs in their simplest form: sequences of instructions. Molecular dynamics is a simple model of computation deve...
136
click to vote
LICS
2010
IEEE
15 years 1 months ago
2010
IEEE
One of the major interests of finite model theory is to separate the expressive power of different logics or fragments of logics. In this paper, we define a variant of EhrenfeuchtF...
154
Voted
CVPR
2012
IEEE
13 years 5 months ago
2012
IEEE
Pictorial Structures (PS) define a probabilistic model of 2D articulated objects in images. Typical PS models assume an object can be represented by a set of rigid parts connecte...