Sciweavers

4719 search results - page 383 / 944
» Newtonian program analysis
Sort
View
UM
2007
Springer
16 years 1 months ago
Exploiting Evidence Analysis in Plan Recognition
Information graphics, such as bar charts and line graphs, that appear in popular media generally have a message that they are intended to convey. We have developed a novel plan inf...
Sandra Carberry, Stephanie Elzer
ICMCS
2006
IEEE
120views Multimedia» more  ICMCS 2006»
16 years 1 months ago
Detecting Musical Sounds in Broadcast Audio Based on Pitch Tuning Analysis
Detecting the presence of musical sounds in broadcast audio is important for content-based indexing and retrieval of auditory and visual information in radio and TV programs. In t...
Yongwei Zhu, Qibin Sun, Susanto Rahardja
IWPC
2006
IEEE
16 years 1 months ago
Dynamic Analysis of Software Systems using Execution Pattern Mining
Software system analysis for extracting system functionality remains as a major problem in the reverse engineering literature and the early approaches mainly rely on static proper...
Hossein Safyallah, Kamran Sartipi
CAISE
2005
Springer
16 years 1 months ago
The Association Construct in Conceptual Modelling - An Analysis Using the Bunge Ontological Model
Associations are a widely used construct of object-oriented languages. However, the meaning of associations for conceptual modelling of application domains remains unclear. This pa...
Joerg Evermann
HYBRID
2005
Springer
16 years 1 months ago
A Toolbox of Hamilton-Jacobi Solvers for Analysis of Nondeterministic Continuous and Hybrid Systems
Abstract. Hamilton-Jacobi partial differential equations have many applications in the analysis of nondeterministic continuous and hybrid systems. Unfortunately, analytic solution...
Ian M. Mitchell, Jeremy A. Templeton