3717 search results - page 308 / 744 » Representing Multiple Theories |
207
Voted
JUCS
2010
15 years 5 months ago
2010
Abstract: Qualitative Spatial Reasoning can be greatly improved if metric information can be represented and reasoning can be performed on it; moreover, modelling vagueness and unc...
216
click to vote
APN
2009
Springer
16 years 2 months ago
2009
Springer
In [LJ06] Lorenz and Juh´as raised the question of whether there exists a suitable formalism for the representation of infinite families of partial orders generated by Petri nets...
193
click to vote
SYNTHESE
2011
15 years 2 months ago
2011
This paper examines E. W. Beth’s work in the philosophy of physics, both from a historical and a systematic point of view. Beth saw the philosophy of physics first of all as an ...
201
Voted
PODC
2012
ACM
13 years 10 months ago
2012
ACM
Failure detectors — oracles that provide information about process crashes — are an important ion for crash tolerance in distributed systems. Although current failure-detector...
185
Voted
CCR
2000
15 years 7 months ago
2000
Distributed optimal traffic engineering in the presence of multiple paths has been found to be a difficult problem to solve. In this paper, we introduce a new approach in an attem...