338 search results - page 57 / 68 » On the Complexity of Termination Inference for Processes |
66
Voted
ICTAI
2009
IEEE
15 years 4 months ago
2009
IEEE
Energy-based learning (EBL) is a general framework to describe supervised and unsupervised training methods for probabilistic and non-probabilistic factor graphs. An energy-based ...
62
Voted
AI
2005
Springer
15 years 3 months ago
2005
Springer
Privacy is one of the main societal concerns raised by critics of the uncontrolled growth and spread of information technology in developed societies. The purpose of this paper is ...
RULEML
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. When developing situation awareness applications we begin by constructing an OWL ontology to capture a language of discourse for the domain of interest. Such an ontology,...
CP
2004
Springer
15 years 3 months ago
2004
Springer
Constraint programming is rapidly becoming the technology of choice for modeling and solving complex combinatorial problems. However, users of constraint programming technology nee...
ER
2007
Springer
15 years 1 months ago
2007
Springer
The paper presents an unified Description Logic (DL) model for databases. Describing database models using DLs is a fundamental problem in many areas because it turns databases to...