1454 search results - page 30 / 291 » Stateful traits and their formalization |
125
click to vote
AI
2003
Springer
15 years 5 months ago
2003
Springer
This paper introduces a formal theory for describing actions in terminological knowledge bases, closely related to description logics. It deals in particular with the problem of ad...
112
click to vote
LOGCOM
2002
15 years 4 days ago
2002
paper, we present an abstract formal model of decision-making in a social setting that covers all aspects of the process, from recognition of a potential for cooperation through t...
118
click to vote
TACAS
2012
Springer
13 years 8 months ago
2012
Springer
Today’s Internet interdomain routing protocol, the Border Gateway Protocol (BGP), is increasingly complicated and fragile due to policy misconfigurations by individual autonomou...
92
Voted
COMPSAC
1997
IEEE
15 years 4 months ago
1997
IEEE
Formal methods are used in a surprisingly wide variety of applications and ways throughout the world. While they may still’be considered a niche market, there is growing evidenc...
79
Voted
CORR
2008
Springer
15 years 17 days ago
2008
Springer
This paper presents a formalized proof of a discrete form of the Jordan Curve Theorem. It is based on a hypermap model of planar subdivisions, formal specifications and proofs assi...