Sciweavers

5227 search results - page 779 / 1046
» Constructing New Media
Sort
View
GIR
2006
ACM
16 years 1 months ago
Inferring Geographical Ontologies from Multiple Resources for Geographical Information Retrieval
Many documents that can be found in the World Wide Web include some kind of geographical information, often in an implicit way. The use of resources like gazetteers and geographic...
Davide Buscaldi, Paolo Rosso, Piedachu Peris
ICML
2006
IEEE
16 years 1 months ago
Multiclass reduced-set support vector machines
There are well-established methods for reducing the number of support vectors in a trained binary support vector machine, often with minimal impact on accuracy. We show how reduce...
Benyang Tang, Dominic Mazzoni
IMC
2006
ACM
16 years 1 months ago
Generating a privacy footprint on the internet
As a follow up to characterizing traffic deemed as unwanted by Web clients such as advertisements, we examine how information related to individual users is aggregated as a result...
Balachander Krishnamurthy, Craig E. Wills
PLDI
2006
ACM
16 years 1 months ago
Termination proofs for systems code
Program termination is central to the process of ensuring that systems code can always react. We describe a new program termination prover that performs a path-sensitive and conte...
Byron Cook, Andreas Podelski, Andrey Rybalchenko
PLDI
2006
ACM
16 years 1 months ago
A microkernel virtual machine: : building security with clear interfaces
In this paper we propose a novel microkernel-based virtual machine (µKVM), a new code-based security framework with a simple and declarative security architecture. The main desig...
Xiaoqi Lu, Scott F. Smith