2611 search results - page 162 / 523 » A Logic for Concepts and Similarity |
105
Voted
ICASSP
2011
IEEE
14 years 5 months ago
2011
IEEE
Documents often contain inherently many concepts reflecting specific and generic aspects. To automatically generate a short summary text of documents on similar topics, it is im...
140
click to vote
VMCAI
2010
Springer
15 years 11 months ago
2010
Springer
In the recent years, there have been a large amount of investigations on safety verification of uncertain continuous systems. In engineering and applied mathematics, this verificat...
133
Voted
LICS
2007
IEEE
15 years 8 months ago
2007
IEEE
The combination of first-order epistemic logic and formal cryptography offers a potentially very powerful framework for security protocol verification. In this article, we addre...
136
Voted
INFOCOM
2002
IEEE
15 years 6 months ago
2002
IEEE
— Wavelength routed optical networks allow to design a logical topology, comprising lightpaths and routers, which is overlayed on the physical topology, comprising optical fiber...
101
click to vote
ATAL
2008
Springer
15 years 3 months ago
2008
Springer
Some natural epistemic properties which may arise in applications can only be expressed in standard epistemic logic by formulae which are exponentially long in the number of agent...