Sciweavers

5344 search results - page 203 / 1069
» Privacy-Preserving Set Operations
Sort
View
96
Voted
PG
2007
IEEE
15 years 9 months ago
Computer-Generated Papercutting
The craft of papercutting is part of the folk art traditions of cultures all over the world. From the point of view of computer graphics, papercutting can be seen as a method of c...
Jie Xu, Craig S. Kaplan, Xiaofeng Mi
123
Voted
PKDD
2007
Springer
193views Data Mining» more  PKDD 2007»
15 years 9 months ago
Learning Multi-dimensional Functions: Gas Turbine Engine Modeling
Abstract. This paper shows how multi-dimensional functions, describing the operation of complex equipment, can be learned. The functions are points in a shape space, each produced ...
Chris Drummond
128
Voted
ICMENS
2005
IEEE
120views Hardware» more  ICMENS 2005»
15 years 9 months ago
Nonlinear Dynamics in Nanomechanical Oscillators
Abstract— In the present work we investigate nonlinear dynamics in a nanomechanical doubly clamped beam made of PdAu fabricated using bulk nanomachining and e-beam lithography. T...
Stav Zaitsev, Ronen Almog, Oleg Shtempluck, Eyal B...
115
Voted
TPHOL
2005
IEEE
15 years 9 months ago
A Design Structure for Higher Order Quotients
The quotient operation is a standard feature of set theory, where a set is partitioned into subsets by an equivalence relation. We reinterpret this idea for higher order logic, whe...
Peter V. Homeier
106
Voted
CONCUR
2003
Springer
15 years 8 months ago
Full Abstraction for HOPLA
traction for HOPLA Mikkel Nygaard1 and Glynn Winskel2 1 BRICS , University of Aarhus 2 Computer Laboratory, University of Cambridge A fully abstract denotational semantics for the ...
Mikkel Nygaard, Glynn Winskel