286 search results - page 40 / 58 » Reasoning about multiple related abstractions with MultiStar |
MKM
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. Although knowledge is a central topic for MKM there is little explicit discussion on what ‘knowledge’ might actually be. There are specific intuitions about form and...
ECAI
2008
Springer
14 years 11 months ago
2008
Springer
Abstract. We study privacy guarantees for the owner of an information system who wants to share some of the information in the system with clients while keeping some other informat...
EUROCRYPT
2003
Springer
15 years 2 months ago
2003
Springer
In spite of a relatively large number of publications about breaking Enigma by the Allies before and during the World War II, this subject remains relatively unknown not only to th...
CVPR
2010
IEEE
15 years 5 months ago
2010
IEEE
Recent advances in scene understanding and related tasks
have highlighted the importance of using regions to reason
about high-level scene structure. Typically, the regions are
...
101
click to vote
UML
2004
Springer
15 years 3 months ago
2004
Springer
This paper discusses a model-based design flow for requirements in distributed embedded software development. Such requirements are specified using a language similar to Linear T...