5499 search results - page 863 / 1100 » Generalized Rewrite Theories |
207
click to vote
PPDP
2010
Springer
15 years 5 months ago
2010
Springer
Transaction Logic is a logic for representing declarative and procedural knowledge in logic programming, databases, and AI. It has been successful in areas as diverse as workflows...
222
click to vote
PRICAI
2010
Springer
15 years 5 months ago
2010
Springer
Unlike traditional classification tasks, multilabel classification allows a sample to associate with more than one label. This generalization naturally arises the difficulty in cla...
208
click to vote
SASO
2010
IEEE
15 years 5 months ago
2010
IEEE
Self-organising systems are a popular engineering concept for designing decentralised autonomic computing systems. They are able to find solutions in complex and versatile problem ...
172
click to vote
SENSYS
2010
ACM
15 years 5 months ago
2010
ACM
This paper considers the problem of estimating the power breakdowns for the main appliances inside a building using a small number of power meters and the knowledge of the ON/OFF ...
196
click to vote
SIGSOFT
2010
ACM
15 years 5 months ago
2010
ACM
Although much progress has been made in software verification, software testing remains by far the most widely used technique for improving software reliability. Among various typ...