588 search results - page 85 / 118 » Reducibility and Completeness in Private Computations |
136
click to vote
LICS
2005
IEEE
15 years 11 months ago
2005
IEEE
In recent work Baader has shown that a certain description logic with conjunction, existential quantification and with circular definitions has a polynomial time subsumption pro...
163
click to vote
RTSS
2005
IEEE
15 years 11 months ago
2005
IEEE
Periodic update transaction model has been used to maintain freshness (or temporal validity) of real-time data. Period and deadline assignment has been the main focus in the past ...
144
click to vote
SMI
2005
IEEE
15 years 11 months ago
2005
IEEE
We present an approach to hierarchically encode the topology of functions over triangulated surfaces. We describe the topology of a function by its Morse-Smale complex, a well kno...
150
click to vote
APLAS
2005
ACM
15 years 11 months ago
2005
ACM
Affine size-change analysis has been used for termination analysis of eager functional programming languages. The same style of analysis is also capable of compactly recording and ...
155
click to vote
PADS
2005
ACM
15 years 11 months ago
2005
ACM
Simulation of large-scale networks requires enormous amounts of memory and processing time. One way of speeding up these simulations is to distribute the model over a number of co...