5550 search results - page 723 / 1110 » Different Approaches to Proof Systems |
201
click to vote
DOLAP
2010
ACM
15 years 4 months ago
2010
ACM
Object identification is a crucial step in most information systems. Nowadays, we have many different ways to identify entities such as surrogates, keys and object identifiers. Ho...
233
click to vote
TDP
2010
15 years 1 months ago
2010
The widespread adoption of location-based services (LBS) raises increasing concerns for the protection of personal location information. A common strategy, referred to as obfuscati...
164
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
Contending with signal variability due to source and channel effects is a critical problem in automatic emotion recognition. Any approach in mitigating these effects however has t...
234
click to vote
VR
2011
IEEE
14 years 10 months ago
2011
IEEE
In this paper, we present a unified approach for a drift-free and jitter-reduced vision-aided navigation system. This approach is based on an error-state Kalman filter algorithm...
227
click to vote
ECBS
2011
IEEE
14 years 6 months ago
2011
IEEE
—Model-based development techniques enable a high efficiency and the mastering of complexity. For many domains more than one model has to be used to express the relevant informat...