Sciweavers

4719 search results - page 383 / 944
» Newtonian program analysis
Sort
View
UM
2007
Springer
16 years 24 days 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 22 days 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 21 days 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 7 days 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 6 days 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