279 search results - page 39 / 56 » A Name Abstraction Functor for Named Sets |
CMMR
2008
Springer
13 years 10 months ago
2008
Springer
Abstract. This paper describes a method for labelling structural parts of a musical piece. Existing methods for the analysis of piece structure often name the parts with musically ...
ESORICS
2008
Springer
13 years 10 months ago
2008
Springer
Abstract. Different security notions and settings for identification protocols have been proposed so far, considering different powerful adversaries that can play "man-in-the-...
EUROPAR
2008
Springer
13 years 10 months ago
2008
Springer
Abstract. Different auction-based approaches have been used to allocate resources in Grids, but none of them provide the design choice for a specific economic model while consideri...
LANMR
2007
13 years 10 months ago
2007
Abstract We introduce some differences in the style defeasible information is represented and inferences are made in nonmonotonic reasoning. These, at first sight harmless, chang...
ADHOCNOW
2009
Springer
13 years 10 months ago
2009
Springer
Abstract. In focused coverage problem, sensors are required to be deployed around a given point of interest (POI) with respect to a priority requirement: an area close to POI has h...