Sciweavers

2180 search results - page 240 / 436
» A Framework of Evaluation for Question-Answering Systems
Sort
View
LOCA
2005
Springer
16 years 5 days ago
Towards Smart Surroundings: Enabling Techniques and Technologies for Localization
Abstract. In this paper we identify the common techniques and technologies that are enabling location identification in a ubiquitous computing environment. We also address the imp...
Kavitha Muthukrishnan, Maria Eva Lijding, Paul J. ...
PADL
2005
Springer
16 years 4 days ago
Towards Provably Correct Code Generation via Horn Logical Continuation Semantics
Abstract. Provably correct compilation is an important aspect in development of high assurance software systems. In this paper we explore approaches to provably correct code genera...
Qian Wang, Gopal Gupta, Michael Leuschel
SASN
2004
ACM
16 years 2 days ago
Resilient aggregation in sensor networks
This paper studies security for data aggregation in sensor networks. Current aggregation schemes were designed without security in mind and there are easy attacks against them. We...
David Wagner
SAC
2010
ACM
15 years 11 months ago
Mistral: open source biometric platform
Mistral is an open source software for biometrics applications. This software, based on the well-known UBM/GMM approach includes also the latest speaker recognition developments s...
Eric Charton, Anthony Larcher, Christophe Levy, Je...
WSKS
2009
Springer
15 years 11 months ago
Towards a Mediator Based on OWL and SPARQL
We propose a framework that supports a federated environment based on a Mediator Architecture in the Semantic Web. The Mediator supports mappings between the OWL Ontology of the Me...
Konstantinos Makris, Nikos Bikakis, Nektarios Giol...