13271 search results - page 2610 / 2655 » Computers, Programming, and People |
112
click to vote
ELPUB
2007
ACM
15 years 3 months ago
2007
ACM
A proposal is presented for a standard ontology language defined as ElPub/SciX Ontology, based on the content of a web digital library of conference proceedings. This content, i.e...
136
click to vote
DASFAA
2010
IEEE
15 years 3 months ago
2010
IEEE
This paper studies a new query on uncertain data, called k-selection query. Given an uncertain dataset of N objects, where each object is associated with a preference score and a p...
104
click to vote
EUROCAST
2007
Springer
15 years 3 months ago
2007
Springer
Abstract Model Checking is a well-known and fully automatic technique for checking software properties, usually given as temporal logic formulas on the program variables. Most of m...
111
click to vote
EVOW
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. This work presents scale invariant region detectors that apply evolved operators to extract an interest measure. We evaluate operators using their repeatability rate, and...
SP
2010
IEEE
15 years 3 months ago
2010
IEEE
— Virtualization is being widely adopted in today’s computing systems. Its unique security advantages in isolating and introspecting commodity OSes as virtual machines (VMs) ha...