Sciweavers

1038 search results - page 7 / 208
» Task Description
Sort
View
ISOLA
2010
Springer
13 years 5 months ago
A Scalable Approach for the Description of Dependencies in Hard Real-Time Systems
During the design iterations of embedded systems, the schedulability analysis is an important method to verify whether the real-time constraints are satisfied. In order to achieve...
Steffen Kollmann, Victor Pollex, Kilian Kempf, Fra...
AIEDAM
1999
157views more  AIEDAM 1999»
13 years 7 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
ICWE
2007
Springer
14 years 1 months ago
Structural Patterns for Descriptive Documents
Combining expressiveness and plainness in the design of web documents is a difficult task. Validation languages are very powerful and designers are tempted to over-design specific...
Antonina Dattolo, Angelo Di Iorio, Silvia Duca, An...
TREC
2003
13 years 8 months ago
Identifying Gene Function Descriptions by Probability-based Sentence Selection
This paper proposes an approach to the secondary task in the TREC Genomics Track. We regard the task as identification of the sentences describing gene functions (i.e., GeneRIFs)...
Kazuhiro Seki, Nihar Sheth, Javed Mostafa
CAISE
2004
Springer
14 years 23 days ago
Description Logics for Interoperability
tween documents. They should allow for an abstract representation of data which resembles the way they are actually perceived and used in the real world, thus shortening (with resp...
Enrico Franconi