Sciweavers

941 search results - page 106 / 189
» The Parking Permit Problem
Sort
View
POPL
2005
ACM
16 years 6 days ago
Permission accounting in separation logic
A lightweight logical approach to race-free sharing of heap storage between concurrent threads is described, based on the notion of permission to access. Transfer of permission be...
Richard Bornat, Cristiano Calcagno, Peter W. O'Hea...
ICNP
2006
IEEE
15 years 6 months ago
Characterizing and Mitigating Inter-domain Policy Violations in Overlay Routes
— The Internet is a complex structure arising from the interconnection of numerous autonomous systems (AS), each exercising its own administrative policies to reflect the commer...
Srinivasan Seetharaman, Mostafa H. Ammar
IGIS
1994
118views GIS» more  IGIS 1994»
15 years 4 months ago
Surface Modelling with Guaranteed Consistency - An Object-Based Approach
There have been many interpolation methods developed over the years, each with their own problems. One of the biggest limitations in many applications is the non-correspondence of...
Christopher M. Gold, Thomas Roos
LOGCOM
2008
94views more  LOGCOM 2008»
14 years 12 months ago
Preservation of Interpolation Features by Fibring
Fibring is a metalogical constructor that permits to combine different logics by operating on their deductive systems under certain natural restrictions, as for example that the t...
Walter Alexandre Carnielli, João Rasga, Cri...
ICCV
2009
IEEE
16 years 4 months ago
Robust Fitting of Multiple Structures: The Statistical Learning Approach
We propose an unconventional but highly effective approach to robust fitting of multiple structures by using statistical learning concepts. We design a novel Mercer kernel for t...
Tat-Jun Chin, Hanzi Wang, David Suter