1173 search results - page 82 / 235 » Program Derivation Using Analogy |
139
click to vote
SIGCOMM
1995
ACM
15 years 8 months ago
1995
ACM
In most network models for quality of service support, the communication links interconnecting the switches and gateways are assumed to have fixed bandwidth and zero error rate. T...
132
click to vote
AAAI
2007
15 years 7 months ago
2007
We consider problems of geometric exploration and selfdeployment for simple robots that can only sense the combinatorial (non-metric) features of their surroundings. Even with suc...
144
click to vote
ATMOS
2007
15 years 6 months ago
2007
We face a real-world train unit assignment problem for an operator running trains in a regional area. Given a set of timetabled train trips, each with a required number of passenge...
139
click to vote
AEI
2007
15 years 5 months ago
2007
This paper presents three CBR systems that have been developed over seven years in collaboration with two industrial partners. In this research, case based reasoning (CBR) is used...
136
click to vote
DAM
2008
15 years 4 months ago
2008
We present here a systematic study of general boundary value problems on weighted networks that includes the variational formulation of such problems. In particular, we obtain the...