Sciweavers

3724 search results - page 516 / 745
» Timed regular expressions
Sort
View
167
Voted
AIEDAM
1999
157views more  AIEDAM 1999»
15 years 4 months ago
Representing a robotic domain using temporal description logics
A temporal logic for representing and reasoning on a robotic domain is presented. Actions are represented by describing what is true while the action itself is occurring, and plan...
Alessandro Artale, Enrico Franconi
JOT
2002
52views more  JOT 2002»
15 years 4 months ago
Negotiable Interfaces for Components
es are extended with a factorable, abstract state, and methods of interfaces are extended with state transformation behaviours. A new programming language command, the USE statemen...
Simon D. Kent, Chris Ho-Stuart, Paul Roe
PE
2002
Springer
207views Optimization» more  PE 2002»
15 years 4 months ago
Delay characteristics in discrete-time GI-G-1 queues with non-preemptive priority queueing discipline
Priority scheduling for packets is becoming a hot topic, as attemps are being made to integrate voice services in existing data networks. In this paper, we consider a discrete-tim...
Joris Walraevens, Bart Steyaert, Herwig Bruneel
PUC
2002
150views more  PUC 2002»
15 years 4 months ago
New Active Tools for Supporting Narrative Structures
: Constructing stories is a type of playing that involves mobilizing the storyteller's imagination and finding original ways to convey narrative intentions. When a child inven...
Françoise Decortis, Antonio Rizzo
MTA
2007
83views more  MTA 2007»
15 years 4 months ago
A study on multimedia documents behavior: a notion of equivalence
Abstract. In this paper we address the problem of comparing multimedia documents, which can be described according to different reference models. If we consider presentations as c...
Paola Bertolotti, Ombretta Gaggi