Sciweavers

10890 search results - page 432 / 2178
» Automatic Complexity Analysis
Sort
View
LREC
2008
95views Education» more  LREC 2008»
15 years 8 months ago
Annotation and analysis of overlapping speech in political interviews
Looking for a better understanding of spontaneous speech-related phenomena and to improve automatic speech recognition (ASR), we present here a study on the relationship between t...
Martine Adda-Decker, Claude Barras, Gilles Adda, P...
FMAM
2010
157views Formal Methods» more  FMAM 2010»
15 years 4 months ago
An Experience on Formal Analysis of a High-Level Graphical SOA Design
: In this paper, we present the experience gained with the participation in a case study in which a novel high-level design language (UML4SOA) was used to produce a service-oriente...
Maurice H. ter Beek, Franco Mazzanti, Aldi Sulova
ICDE
2011
IEEE
233views Database» more  ICDE 2011»
14 years 10 months ago
Schema evolution analysis for embedded databases
—Dynamic software updating research efforts have mostly been focused on updating application code and in-memory state. As more and more applications use embedded databases for st...
Shengfeng Wu, Iulian Neamtiu
TACAS
2010
Springer
245views Algorithms» more  TACAS 2010»
16 years 1 months ago
Stranger: An Automata-Based String Analysis Tool for PHP
STRANGER is an automata-based string analysis tool for finding and eliminating string-related security vulnerabilities in PHP applications. STRANGER uses symbolic forward and back...
Fang Yu, Muath Alkhalaf, Tevfik Bultan
SAMT
2007
Springer
113views Multimedia» more  SAMT 2007»
16 years 29 days ago
Camera Motion Analysis Towards Semantic-Based Video Retrieval in Compressed Domain
To reduce the semantic gap between low-level visual features and the richness of human semantics, this paper proposes new algorithms, by virtue of the combined camera motion descri...
Ying Weng, Jianmin Jiang