866 search results - page 1 / 174 » A Formal Investigation of |
99
Voted
COMMA
2008
15 years 12 days ago
2008
In this paper we propose a formal dialogue game in which two players aim to determine the best explanation for a set of observations. By assuming an adversarial setting, we force t...
108
Voted
CCS
2008
ACM
15 years 28 days ago
2008
ACM
Wireless communication enables a broad spectrum of applications, ranging from commodity to tactical systems. Neighbor discovery (ND), that is, determining which devices are within...
52
Voted
FSTTCS
2007
Springer
15 years 5 months ago
2007
Springer
The diff3 algorithm is widely considered the gold standard for merging uncoordinated changes to list-structured data such as text files. Surprisingly, its fundamental properties h...
86
Voted
ASWC
2006
Springer
15 years 2 months ago
2006
Springer
With the growing interest in modular ontology languages to address the need for collaborative development, integration, and use of ontologies on the Web, there is an urgent need fo...
103
Voted
FMSB
2008
15 years 15 days ago
2008
Abstract. This paper reports on the multi-scale modelling of an intestinal crypt cellular structure coupled with Wnt signalling. Using formal modelling techniques based on the stoc...