4385 search results - page 762 / 877 » Abstraction for Concurrent Objects |
112
click to vote
FORTE
2008
15 years 17 days 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...
HCI
2007
15 years 16 days 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...
111
click to vote
IRCDL
2008
15 years 16 days 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 ...
INTERACT
2007
15 years 16 days 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...
NIPS
2008
15 years 16 days 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...