1650 search results - page 249 / 330 » The HOM problem is decidable |
146
click to vote
ICANN
2005
Springer
15 years 11 months ago
2005
Springer
This research employs unsupervised pattern recognition to approach the thorny issue of detecting anomalous network behavior. It applies a connectionist model to identify user behav...
158
click to vote
ICLP
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. In recent work, a general framework for specifying program correspondences under the answer-set semantics has been defined. The framework allows to define different not...
183
click to vote
PPDP
2005
Springer
15 years 11 months ago
2005
Springer
The paper develops a self-tuning resource aware partial evaluation technique for Prolog programs, which derives its own control strategies tuned for the underlying computer archit...
162
click to vote
SEMWEB
2005
Springer
15 years 11 months ago
2005
Springer
A common practice in conceptual modeling is to separate the conceptual from the data model. Although very intuitive, this approach is inadequate for many complex domains, in which...
153
click to vote
VMCAI
2005
Springer
15 years 11 months ago
2005
Springer
A Herbrand equality between expressions in a program is an equality which holds relative to the Herbrand interpretation of operators. We show that the problem of checking validity ...