Sciweavers

4257 search results - page 235 / 852
» The Logical Modularity of Programs
Sort
View
163
Voted
TASE
2008
IEEE
16 years 1 months ago
Verifying BPEL-Like Programs with Hoare Logic
The WS-BPEL language has recently become a de facto standard for modeling Web-based business processes. One of its essential features is the fully programmable compensation mechan...
Chenguang Luo, Shengchao Qin, Zongyan Qiu
158
Voted
ECSQARU
2007
Springer
16 years 1 months ago
Description Logic Programs Under Probabilistic Uncertainty and Fuzzy Vagueness
Thomas Lukasiewicz, Umberto Straccia
142
Voted
ER
2007
Springer
126views Database» more  ER 2007»
16 years 1 months ago
Querying Incomplete Data with Logic Programs: ER Strikes Back
Andrea Calì
227
Voted
ILP
2007
Springer
16 years 1 months ago
Using Bayesian Networks to Direct Stochastic Search in Inductive Logic Programming
Stochastically searching the space of candidate clauses is an appealing way to scale up ILP to large datasets. We address an approach that uses a Bayesian network model to adaptive...
Louis Oliphant, Jude W. Shavlik