1860 search results - page 141 / 372 » Structured Multimedia Authoring |
140
click to vote
CALCO
2009
Springer
15 years 11 months ago
2009
Springer
The microcosm principle, advocated by Baez and Dolan and formalized for Lawvere theories lately by three of the authors, has been applied to coalgebras in order to describe composi...
142
click to vote
FCT
2009
Springer
15 years 11 months ago
2009
Springer
Despite of their applicability betweennness constraints have (to the authorās knowledge) hardly been considered from the random structures point of view. They are essentially diļ...
149
click to vote
CIE
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. We show that many so called discrete weak semilattices considered earlier in a series of authorās publications have hereditary undecidable ļ¬rst-order theories. Since ...
119
click to vote
DSOM
2005
Springer
15 years 10 months ago
2005
Springer
Presently, there is no satisfactory model for dealing with political autonomy of agents in policy based management. A theory of atomic policy units called āpromisesā is therefo...
133
click to vote
IPMU
1994
Springer
15 years 8 months ago
1994
Springer
Bayes nets are seeing increasing use in expert systems [2, 6], and structural equations models continue to be popular in many branches of the social sciences [1]. Both types of mod...