1581 search results - page 163 / 317 » Mechanizing Inductive Reasoning |
157
click to vote
OOPSLA
2004
Springer
15 years 11 months ago
2004
Springer
The main goal of this PhD thesis is to propose and implement a methodology for the construction of programs based on the SCOOP model, and for modular reasoning about their correct...
158
click to vote
ISCC
2003
IEEE
15 years 11 months ago
2003
IEEE
One of the key issues for implementing congestion pricing is the pricing granularity (i.e. pricing interval or timescale). The Internet traffic is highly variant and hard to cont...
154
click to vote
HT
2003
ACM
15 years 11 months ago
2003
ACM
This paper argues that the existence of a developer support framework is a critical issue to the usage of Open Hypermedia Systems (OHSs). For this reason, the OHS Community would ...
193
click to vote
EPIA
2001
Springer
15 years 11 months ago
2001
Springer
This paper explores the applicability of the new paradigm of Multi-dimensional Dynamic Logic Programming to represent an agent’s view of the combination of societal knowledge dyn...
149
click to vote
ICMCS
2000
IEEE
15 years 10 months ago
2000
IEEE
This paper provides an intelligent multiagent approach to incorporate human temperaments into the filtering process of an information recommendation service. Our approach is to de...