9507 search results - page 442 / 1902 » Time-based language models |
145
click to vote
ECBS
2005
IEEE
16 years 14 days ago
2005
IEEE
The fulfillment of time requirements is one of the major acceptance criteria of safety-critical and real-time systems. They are dictated by the environment of these systems and a...
159
click to vote
VL
2002
IEEE
15 years 11 months ago
2002
IEEE
There is a range of modelling notations, both textual and diagrammatic, whose semantics are based on first-order predicate logic. This paper presents a visual framework for organ...
165
Voted
FASE
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. The Object Constraint Language OCL offers a formal notation for constraining the modelling elements occurring in UML diagrams. In this paper we apply OCL for developing ...
142
click to vote
ECSQARU
1997
Springer
15 years 11 months ago
1997
Springer
Abstract. Today, different formalisms exist to solve reasoning problems under uncertainty. For most of the known formalisms, corresponding computer implementations are available. ...
157
click to vote
VLDB
1994
ACM
15 years 11 months ago
1994
ACM
As video data is penetrating many information systems the need for database support for video data evolves. In this paper we present a generic data model that captures the structu...