Sciweavers

4401 search results - page 648 / 881
» Computing with Default Logic
Sort
View
138
Voted
CAGD
2010
132views more  CAGD 2010»
15 years 1 months ago
Skinning of circles and spheres
Skinning of an ordered set of discrete circles is discussed in this paper. By skinning we mean the geometric construction of two G1 continuous curves touching each of the circles ...
R. Kunkli, M. Hoffmann
CORR
2011
Springer
169views Education» more  CORR 2011»
14 years 12 months ago
Streaming Tree Transducers
We introduce streaming tree transducers as an analyzable and expressive model for transforming hierarchically structured data in a single pass. Given a linear encoding of the inpu...
Rajeev Alur, Loris D'Antoni
205
Voted
EIS
2011
253views ECommerce» more  EIS 2011»
14 years 11 months ago
A modelling and reasoning framework for social networks policies
Policy languages (such as privacy and rights) have had little impact on the wider community. Now that Social Networks have taken off, the need to revisit Policy languages and real...
Guido Governatori, Renato Iannella
SIGMOD
2011
ACM
204views Database» more  SIGMOD 2011»
14 years 7 months ago
Datalog and emerging applications: an interactive tutorial
We are witnessing an exciting revival of interest in recursive Datalog queries in a variety of emerging application domains such as data integration, information extraction, netwo...
Shan Shan Huang, Todd Jeffrey Green, Boon Thau Loo
HPCA
2008
IEEE
16 years 5 months ago
Supporting highly-decoupled thread-level redundancy for parallel programs
The continued scaling of device dimensions and the operating voltage reduces the critical charge and thus natural noise tolerance level of transistors. As a result, circuits can p...
M. Wasiur Rashid, Michael C. Huang