Sciweavers

2583 search results - page 288 / 517
» On the Representation of Timed Polyhedra
Sort
View
APWEB
2008
Springer
15 years 8 months ago
On the Complexity of Restricted k-anonymity Problem
Abstract. One of the emerging concepts in microdata protection is kanonymity, introduced by Samarati and Sweeney. k-anonymity provides a simple and efficient approach to protect pr...
Xiaoxun Sun, Hua Wang, Jiuyong Li
CP
2008
Springer
15 years 8 months ago
Length-Lex Bounds Consistency for Knapsack Constraints
Recently, a new domain store for set-variables has been proposed which totally orders all values in the domain of a set-variable based on cardinality and lexicography. Traditionall...
Yuri Malitsky, Meinolf Sellmann, Willem Jan van Ho...
ETVC
2008
15 years 8 months ago
Computational Photography: Epsilon to Coded Photography
Computational photography combines plentiful computing, digital sensors, modern optics, actuators, and smart lights to escape the limitations of traditional cameras, enables novel ...
Ramesh Raskar
FMCO
2008
Springer
167views Formal Methods» more  FMCO 2008»
15 years 8 months ago
Formal Behavioral Modeling and Compliance Analysis for Service-Oriented Systems
In this paper, we present a framework for formal modeling and verification of service-based business processes with focus on their compliance to external regulations such as Segreg...
Natallia Kokash, Farhad Arbab
FPL
2008
Springer
137views Hardware» more  FPL 2008»
15 years 8 months ago
FPGA acceleration of Monte-Carlo based credit derivative pricing
In recent years the financial world has seen an increasing demand for faster risk simulations, driven by growth in client portfolios. Traditionally many financial models employ Mo...
Alexander Kaganov, Paul Chow, Asif Lakhany