384 search results - page 25 / 77 » Representing Sequences in Description Logics |
ACRI
2008
Springer
14 years 3 months ago
2008
Springer
Abstract. Rule 54, in Wolfram’s notation, is one of elementary yet complexly behaving one-dimensional cellular automata. The automaton supports gliders, glider guns and other non...
ICDAR
2005
IEEE
14 years 2 months ago
2005
IEEE
In this article, we focus on the problem of caption detection in video sequences. Contrary to most of existing approaches based on a single detector followed by an ad hoc and cost...
JUCS
2002
13 years 8 months ago
2002
: This paper presents a framework for representing formal semantics of a subset of the Unified Modeling Language (UML) notation in a higher-order logic, more specifically semantics...
ICSE
2005
IEEE-ACM
14 years 9 months ago
2005
IEEE-ACM
UML sequence diagrams are commonly used to represent object interactions in software systems. This work considers the problem of extracting UML sequence diagrams from existing cod...
SEMWEB
2001
Springer
14 years 1 months ago
2001
Springer
Metadata are widely used in order to fully exploit information resources available on corporate intranets or the Internet. The Resource Description Framework (RDF) aims at facilit...