11740 search results - page 268 / 2348 » More Problems in Rewriting |
179
click to vote
WSC
2000
15 years 8 months ago
2000
Nowadays the size and complexity of models is growing more and more, forcing modelers to face some problems that they were not accustomed to. Before trying to study ways to deal w...
191
click to vote
MSCS
2000
15 years 6 months ago
2000
This paper introduces a Hilbert system for lambda calculus called sequent combinators. Sequent combinators address many of the problems of Hilbert systems, which have led to the m...
180
click to vote
IJAR
2002
15 years 6 months ago
2002
We develop a decision-theoretic method that yields approximate, low cost troubleshooting plans by making more relevant observations and devoting more time to generate a plan. The ...
164
click to vote
IEEESCC
2009
IEEE
16 years 1 months ago
2009
IEEE
In recent years, IT Service Management (ITSM) has become one of the most researched areas of IT. Incident Management and Problem Management form the basis of the tooling provided ...
172
click to vote
MLG
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. There are many connections between graph mining and inductive logic programming (ILP), or more generally relational learning. Up till now these connections have mostly be...