Sciweavers

2152 search results - page 316 / 431
» An Abstract Account of Composition
Sort
View
115
Voted
OTM
2009
Springer
15 years 8 months ago
Efficient Management of Biomedical Ontology Versions
Abstract. Ontologies have become very popular in life sciences and other domains. They mostly undergo continuous changes and new ontology versions are frequently released. However,...
Toralf Kirsten, Michael Hartung, Anika Gross, Erha...
97
Voted
PET
2009
Springer
15 years 8 months ago
On the Optimal Placement of Mix Zones
Abstract. In mobile wireless networks, third parties can track the location of mobile nodes by monitoring the pseudonyms used for identification. A frequently proposed solution to...
Julien Freudiger, Reza Shokri, Jean-Pierre Hubaux
PKDD
2009
Springer
147views Data Mining» more  PKDD 2009»
15 years 8 months ago
Kernel Polytope Faces Pursuit
Abstract. Polytope Faces Pursuit (PFP) is a greedy algorithm that approximates the sparse solutions recovered by 1 regularised least-squares (Lasso) [4,10] in a similar vein to (Or...
Tom Diethe, Zakria Hussain
FOSSACS
2010
Springer
15 years 8 months ago
On the Relationship between Spatial Logics and Behavioral Simulations
Abstract. Spatial logics have been introduced to reason about distributed computation in models for concurrency. We first define a spatial logic for a general class of infinite-...
Lucia Acciai, Michele Boreale, Gianluigi Zavattaro
CDC
2008
IEEE
126views Control Systems» more  CDC 2008»
15 years 8 months ago
Design of robust decentralized controllers for drag-free satellite
Abstract— In this paper the problem of designing a decentralized robust controller for a plant describing a dragfree satellite is addressed. From recent experiences in dragfree c...
Lorenzo Pettazzi, Alexander Lanzon, Stephan Theil