5344 search results - page 704 / 1069 » Privacy-Preserving Set Operations |
205
click to vote
SEMWEB
2009
Springer
16 years 1 months ago
2009
Springer
In this paper a novel approach is presented for generating RDF graphs of arbitrary complexity from various spreadsheet layouts. Currently, none of the available spreadsheet-to-RDF ...
175
click to vote
SPIN
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We present a new decision procedure for detecting property violations in pushdown models for concurrent programs that use lock-based synchronization, where each thread’...
251
click to vote
WOWMOM
2009
ACM
16 years 1 months ago
2009
ACM
In recent years, we have witnessed a trend towards open wireless access, mainly driven by the low cost of IEEE 802.11-capable equipment and its operation in unlicensed spectrum. T...
165
click to vote
CDC
2008
IEEE
16 years 1 months ago
2008
IEEE
— Methods for direct data-driven tuning of the parameters of precompensators for LPV systems are developed. Since the commutativity property is not always satisfied for LPV syst...
141
click to vote
CEC
2008
IEEE
16 years 1 months ago
2008
IEEE
— Evolutionary optimization of a gait for a bipedal robot has been studied, combining structural and parametric modifications of the system responsible for generating the gait. ...