Blar i Faculty of Science and Technology på tidsskrift "Lecture Notes in Computer Science"
Viser treff 1-6 av 6
-
Efficient Global Minimization for the Multiphase Chan-Vese Model of Image Segmentation
(Peer reviewed; Journal article, 2009)The Mumford-Shah model is an important variational image segmentation model. A popular multiphase level set approach, the Chan-Vese model, was developed as a numerical realization by representing the phases by several ... -
Finding k Disjoint Triangles in an Arbitrary Graph
(Journal article; Peer reviewed, 2004)We consider the NP-complete problem of deciding whether an input graph on n vertices has k vertex-disjoint copies of a fixed graph H. For H=K 3 (the triangle) we give an O(22klog k + 1.869k n 2) algorithm, and for general ... -
Finding Resource Bounds in the Presence of Explicit Deallocation
(Journal article; Peer reviewed, 2005)A software program requesting a resource that is not available usually raises an out-of-resource exception. Component software is software that has been assembled from standardized, reusable components which, in turn, may ... -
Guaranteeing Resource Bounds for Component Software
(Journal article; Peer reviewed, 2005)Component software is software that has been assembled from various pieces of standardized, reusable computer programs, so-called components. Executing component software creates instances of these components. For several ... -
Passive Cryptanalysis of the UnConditionally Secure Authentication Protocol for RFID Systems
(Journal article, 2011)Recently, Alomair et al. proposed the first Un- Conditionally Secure mutual authentication protocol for lowcost RFID systems(UCS-RFID). The security of the UCSRFID relies on five dynamic secret keys which are updated at ... -
Strategic optimization of offshore wind farm installation
(Lecture Notes in Computer Science, Chapter; Peer reviewed; Journal article, 2017)This work describes logistical planning of offshore wind farm (OWF) installation through linear programming. A mixed integer linear programming (MILP) model is developed to analyze cost-effective port and vessel strategies ...