5122 search results - page 133 / 1025 » Comparing Consequence Relations |
157
Voted
ER
2011
Springer
14 years 3 months ago
2011
Springer
Service-oriented computing (SOC) increases flexibility of IT systems and helps enterprises to meet their changing needs. Different methods address changing requirements in service...
224
Voted
ICLP
2009
Springer
16 years 4 months ago
2009
Springer
If logic programs are interpreted over a three-valued logic, then often Kleene's strong three-valued logic with complete equivalence and Fitting's associated immediate co...
159
click to vote
WSC
2007
15 years 5 months ago
2007
Simulation of dynamic complex systems—specifically, those comprised of large numbers of components with stochastic behaviors—for the purpose of probabilistic risk assessment f...
147
Voted
ICCV
2011
IEEE
14 years 3 months ago
2011
IEEE
Many applications involve multiple-modalities such as text and images that describe the problem of interest. In order to leverage the information present in all the modalities, on...
111
Voted
TACAS
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. In this paper we prove that the transitive closure of a nondeterministic octagonal relation using integer counters can be expressed in Presburger arithmetic. The direct c...