10293 search results - page 1680 / 2059 » Describing Semistructured Data |
133
click to vote
ELPUB
2007
ACM
15 years 10 months ago
2007
ACM
There are now a large number of repositories in the world, contributing a significant amount of content to the world's scholars and scientists. The landscape has changed sinc...
174
Voted
ELPUB
2007
ACM
15 years 10 months ago
2007
ACM
This paper describes the results of an investigation into the differences and similarities between the blogging techniques of UK and US bloggers undertaken in the winter and sprin...
152
click to vote
DAC
2010
ACM
15 years 10 months ago
2010
ACM
In this paper we present a solver for Quantified Boolean Formulas (QBFs) which is based on And-Inverter Graphs (AIGs). We use a new quantifier elimination method for AIGs, which...
164
click to vote
DEXAW
2009
IEEE
15 years 10 months ago
2009
IEEE
Several aspects of secure operating systems have been analyzed and described as security patterns. However, existing patterns do not cover explicitly the secure interaction of user...
203
click to vote
GRAPHITE
2007
ACM
15 years 10 months ago
2007
ACM
This paper describes an interactive method for generating a model of a scene from image data. The method uses the camera parameters and point cloud typically generated by structur...