219 search results - page 3 / 44 » Towards Hilbertian Formal Methods |
GIS
2002
ACM
13 years 9 months ago
2002
ACM
The cartographic labeling problem is the problem of placing text on a map. This includes the positioning of the labels, and determining the shape in the case of line and area feat...
NCA
2008
IEEE
14 years 4 months ago
2008
IEEE
In this paper we consider the frameworks of Process Algebra and I/O Automata and we apply both towards the verification of a distributed leader-election protocol. Based on the tw...
TPHOL
2007
IEEE
14 years 4 months ago
2007
IEEE
Abstract We present the generic system framework of Isabelle/Isar underlying recent versions of Isabelle. Among other things, Isar provides an infrastructure for Isabelle plug-ins,...
SBMF
2009
Springer
14 years 4 months ago
2009
Springer
ESWS
2010
Springer
13 years 8 months ago
2010
Springer
Recent work in Ontology learning and Text mining has mainly focused on engineering methods to solve practical problem. In this thesis, we investigate methods that can substantially...