Sciweavers

1596 search results - page 192 / 320
» An Information Structural Approach to Spoken Language Genera...
Sort
View
MODELS
2007
Springer
16 years 17 days ago
A UML Profile for Developing Airworthiness-Compliant (RTCA DO-178B), Safety-Critical Software
Many safety-related and certification standards exist for developing safety-critical systems. Safety assessments are performed in practice, and system certification according to a...
Gregory Zoughbi, Lionel C. Briand, Yvan Labiche
POPL
2007
ACM
16 years 6 months ago
Dynamic heap type inference for program understanding and debugging
C programs can be difficult to debug due to lax type enforcement and low-level access to memory. We present a dynamic analysis for C that checks heap snapshots for consistency wit...
Ben Liblit, Chloë W. Schulze, Marina Polishch...
MIR
2004
ACM
109views Multimedia» more  MIR 2004»
15 years 12 months ago
A web-enabled video indexing system
Video parsing and indexing is an important early stage of contentbased video analysis. In this paper, we present a new web-enabled video indexing system that integrates Synchroniz...
Jian Zhou, Xiao-Ping Zhang
MM
2005
ACM
166views Multimedia» more  MM 2005»
16 years 11 hour ago
MedSMan: a streaming data management system over live multimedia
Querying live media streams is a challenging problem that is becoming an essential requirement in a growing number of applications. Research in multimedia information systems has ...
Bin Liu, Amarnath Gupta, Ramesh Jain
UAIS
2008
104views more  UAIS 2008»
15 years 6 months ago
A knowledge-based sign synthesis architecture
This paper presents the modules that comprise a knowledge-based sign synthesis architecture for Greek sign language (GSL). Such systems combine natural language (NL) knowledge, mac...
Stavroula-Evita Fotinea, Eleni Efthimiou, George C...