113 search results - page 14 / 23 » Timed Automata: Semantics, Algorithms and Tools |
108
click to vote
ICWE
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. This paper describes the new e-learning tool CHESt that allows students to search in a knowledge base for short (teaching) multimedia clips by using a semantic search eng...
110
Voted
LATA
2010
Springer
15 years 5 months ago
2010
Springer
With the advent of new sequencing technologies able to produce an enormous quantity of short genomic sequences, new tools able to search for them inside a references sequence genom...
CORR
2007
Springer
15 years 11 days ago
2007
Springer
We discuss the use of model building for temporal representations. We chose Polish to illustrate our discussion because it has an interesting aspectual system, but the points we w...
119
Voted
ASE
2005
15 years 9 days ago
2005
Techniques for efficiently evaluating future time Linear Temporal Logic (abbreviated LTL) formulae on finite execution traces are presented. While the standard models of LTL are i...
145
Voted
CIA
2003
Springer
15 years 5 months ago
2003
Springer
The so-called "Web of Trust" is one of the ultimate goals of the Semantic Web. Research on the topic of trust in this domain has focused largely on digital signatures, ce...