2125 search results - page 135 / 425 » Points with Type-2 Operations |
130
click to vote
CORR
2006
Springer
15 years 3 months ago
2006
Springer
We present an epistemic logic incorporating dynamic operators to describe information changing events. Such events include epistemic changes, where agents become more informed abo...
113
Voted
ECCC
2006
15 years 3 months ago
2006
Abstract. This article points out a gap between two natural formulations of the concept of a proof of knowledge, and shows that in all natural cases (e.g., NP-statements) this gap ...
139
Voted
FMSD
2007
15 years 3 months ago
2007
This paper addresses the graphical representation of static aspects of B specifications, using UML class diagrams. These diagrams can help understand the specification for stakeho...
83
Voted
IJMC
2007
15 years 3 months ago
2007
: The paper deals with wireless data services and their importance in the enterprise world. Provisioning in difficult-to-reach areas of tall buildings is challenging. To extend cov...
122
Voted
IVC
2007
15 years 3 months ago
2007
Binary morphological transformations based on the residues (ultimate erosion, skeleton by openings, etc.) are extended to functions by means of the transformation definition and o...