4385 search results - page 762 / 877 » Abstraction for Concurrent Objects |
132
click to vote
FORTE
2008
15 years 2 months ago
2008
Abstract. Our concrete objective is to present both ordinary bisimulations and probabilistic bisimulations in a common coalgebraic framework based on multiset bisimulations. For th...
73
Voted
HCI
2007
15 years 2 months ago
2007
Abstract. Processes of capturing solid geometry features as threedimensional data for analysis, simulation, or reverse engineering require the use of laser-based reverse engineerin...
124
click to vote
IRCDL
2008
15 years 2 months ago
2008
Annotation and retrieval tools for multimedia digital libraries have to cope with the complexity of multimedia content. In particular, when dealing with video content, annotation ...
112
Voted
INTERACT
2007
15 years 2 months ago
2007
Abstract. Policies, sets of rules that govern permission to access resources, have long been used in computer security and online privacy management; however, the usability of auth...
102
Voted
NIPS
2008
15 years 2 months ago
2008
Aiming towards the development of a general clustering theory, we discuss abstract axiomatization for clustering. In this respect, we follow up on the work of Kleinberg, ([1]) tha...