Sciweavers

2102 search results - page 349 / 421
» A Relational Model for Object-Oriented Designs
Sort
View
ATVA
2007
Springer
136views Hardware» more  ATVA 2007»
15 years 6 months ago
Symbolic Fault Tree Analysis for Reactive Systems
Fault tree analysis is a traditional and well-established technique for analyzing system design and robustness. Its purpose is to identify sets of basic events, called cut sets, wh...
Marco Bozzano, Alessandro Cimatti, Francesco Tappa...
CICLING
2007
Springer
15 years 6 months ago
Finite-State Technology as a Programming Environment
Finite-state technology is considered the preferred model for representing the phonology and morphology of natural languages. The attractiveness of this technology for natural lang...
Shuly Wintner
SAMT
2007
Springer
136views Multimedia» more  SAMT 2007»
15 years 6 months ago
Ontology-Driven Semantic Video Analysis Using Visual Information Objects
In this paper, an ontology-driven approach for the semantic analysis of video is proposed. This approach builds on an ontology infrastructure and in particular a multimedia ontolog...
Georgios Th. Papadopoulos, Vasileios Mezaris, Ioan...
CSMR
2006
IEEE
15 years 5 months ago
IntensiVE, a toolsuite for documenting and checking structural source-code regularities
As size and complexity of software systems increase, preserving the design and specification of their implementation structure gains importance in order to maintain the evolvabil...
Kim Mens, Andy Kellens
113
Voted
ICDE
2006
IEEE
161views Database» more  ICDE 2006»
15 years 5 months ago
A Survey on Disk Oriented Querying and Reasoning on the Semantic Web
This paper presents a description of seven systems, which use database technology to both represent knowledge persistently and make scalable queries on it, in the Semantic Web con...
María del Mar Roldán García, ...