4961 search results - page 712 / 993 » Homomorphism-Homogeneous Relational Structures |
190
click to vote
UAI
1997
15 years 6 months ago
1997
Bayesian networks provide a modeling language and associated inference algorithm for stochastic domains. They have been successfully applied in a variety of medium-scale applicati...
148
Voted
ICFP
2010
ACM
15 years 6 months ago
2010
ACM
' abstraction theorem shows how a typing judgement in System F can be translated into a relational statement (in second order predicate logic) about inhabitants of the type. ...
108
click to vote
ANOR
2007
15 years 5 months ago
2007
The min-SHIFT DESIGN problem (MSD) is an important scheduling problem that needs to be solved in many industrial contexts. The issue is to find a minimum number of shifts and the...
137
click to vote
CII
2008
15 years 5 months ago
2008
Because of the current trend of integration and interoperability of industrial systems, their size and complexity continue to grow making it more difficult to analyze, to understa...
143
click to vote
CORR
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. The Ambient Logic (AL) has been proposed for expressing properties of process mobility in the calculus of Mobile Ambients (MA), and as a basis for query languages on semi...