Sciweavers

1297 search results - page 73 / 260
» fews 2007
Sort
View
SPEAKERC
2007
Springer
122views Biometrics» more  SPEAKERC 2007»
15 years 6 months ago
A Study of Acoustic Correlates of Speaker Age
Speaker age is a speaker characteristic which is always present in speech. Previous studies have found numerous acoustic features which correlate with speaker age. However, few att...
Susanne Schötz, Christian Müller
SPIN
2007
Springer
15 years 6 months ago
SAT-Based Summarization for Boolean Programs
Boolean programs are frequently used to model abstractions of software programs. They have the advantage that reachability properties are decidable, despite the fact that their sta...
Gérard Basler, Daniel Kroening, Georg Weiss...
SPIRE
2007
Springer
15 years 6 months ago
Highly Frequent Terms and Sentence Retrieval
In this paper we propose a novel sentence retrieval method based on extracting highly frequent terms from top retrieved documents. We compare it against state of the art sentence r...
David E. Losada, Ronald T. Fernández
TACAS
2007
Springer
67views Algorithms» more  TACAS 2007»
15 years 6 months ago
Searching for Shapes in Cryptographic Protocols
Abstract. We describe a method for enumerating all essentially different executions possible for a cryptographic protocol. We call them the shapes of the protocol. Naturally occur...
Shaddin F. Doghmi, Joshua D. Guttman, F. Javier Th...
W2GIS
2007
Springer
15 years 6 months ago
Towards the Next Generation of Location-Based Services
Location-based services (LBS) constitute an emerging application domain rapidly introduced in modern life habits. However, given that LBS already count a few years of commercial li...
Elias Frentzos, Kostas Gratsias, Yannis Theodoridi...