11374 search results - page 398 / 2275 » A System Demonstration of ST-TCP |
170
Voted
ICTAC
2004
Springer
16 years 7 days ago
2004
Springer
We present a spatial and temporal logic based on Duration Calculus for the specification and verification of mobile real-time systems. We demonstrate the use of the formalism and...
142
Voted
ICWE
2004
Springer
16 years 7 days ago
2004
Springer
Abstract. The demonstration shows the system Welkin, a multilingual system that analyses one or several source texts with a cascade of linguistic-processing modules, including synt...
164
Voted
HYBRID
1998
Springer
15 years 11 months ago
1998
Springer
We look at distributed representation of structure with variable binding, that is natural for neural nets and allows traditional symbolic representation and processing. The repres...
191
click to vote
CHI
1997
ACM
15 years 11 months ago
1997
ACM
In this demonstration, we present a number of videoconferencing systems which differ in support for conversational awareness. We argue that such systems should convey speech, rela...
184
Voted
CONCUR
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Almost 20 years after the original conception, we revisit several fundamental questions about modal transition systems. First, we demonstrate the incompleteness of the st...