3604 search results - page 438 / 721 » Relation rule mining |
189
click to vote
FSEN
2009
Springer
16 years 1 months ago
2009
Springer
We introduce a Hoare logic for higher-order functional languages with control operators such as callcc. The key idea is to build the assertion language and proof rules around an e...
171
click to vote
TIME
2008
IEEE
16 years 1 months ago
2008
IEEE
The movement in public transport networks is organized according to schedules. The real-world schedules are specified by a set of periodic rules and a number of irregularities fr...
159
click to vote
ATAL
2007
Springer
16 years 26 days ago
2007
Springer
We address the problem of standardising the semantics of agent communication. The diversity of existing approaches suggests that no single agent communication language can satisfa...
143
click to vote
DALT
2007
Springer
16 years 25 days ago
2007
Springer
We address the problem of standardising the semantics of agent communication. The diversity of existing approaches suggests that no single agent communication language can satisfac...
177
click to vote
EWCBR
2004
Springer
16 years 1 days ago
2004
Springer
Textual CBR systems solve problems by reusing experiences that are in textual form. Knowledge-rich comparison of textual cases remains an important challenge for these systems. How...