Sciweavers

844 search results - page 117 / 169
» Semantic Analysis of Matrix Structures
Sort
View
118
Voted
SIMUTOOLS
2008
15 years 4 months ago
MARTE: a profile for RT/E systems modeling, analysis--and simulation?
As its name promises, the Unified Modeling Language (UML) provides a collection of diagrammatic modeling styles. To the early class/objects and use-case diagrams were almost immed...
Frédéric Mallet, Robert de Simone
TII
2008
98views more  TII 2008»
15 years 3 months ago
Formal Methods for Systems Engineering Behavior Models
Abstract--Safety analysis in Systems Engineering (SE) processes, as usually implemented, rarely relies on formal methods such as model checking since such techniques, however power...
Charlotte Seidner, Olivier H. Roux
JDM
2000
82views more  JDM 2000»
15 years 3 months ago
Binary Equivalents of Ternary Relationships in Entity-Relationship Modeling: A Logical Decomposition Approach
Little work has been completed which addresses the logical composition and use of ternary relationships in entity-relationship modeling. Many modeling notations and most CASE tool...
Trevor H. Jones, Il-Yeol Song
132
Voted
AVSS
2009
IEEE
15 years 10 months ago
An Ontology for Event Detection and its Application in Surveillance Video
In this paper, we propose an ontology for representing the prior knowledge related to video event analysis. It is composed of two types of knowledge related to the application dom...
Juan Carlos San Miguel, José María M...
113
Voted
MM
2005
ACM
157views Multimedia» more  MM 2005»
15 years 9 months ago
Natural language processing of lyrics
We report experiments on the use of standard natural language processing (NLP) tools for the analysis of music lyrics. A significant amount of music audio has lyrics. Lyrics enco...
Jose P. G. Mahedero, Alvaro Martinez, Pedro Cano, ...