6300 search results - page 263 / 1260 » We have it easy, but do we have it right |
126
click to vote
FUIN
2007
15 years 1 months ago
2007
Devices of interconnected parallel acting sequential automata are investigated from a language theoretic point of view. Starting with the well-known result that each unary language...
121
click to vote
ICFEM
2009
Springer
14 years 11 months ago
2009
Springer
In this paper we continue the study of a strict extension of the Computation Tree Logic, called graded-CTL, recently introduced by the same authors. This new logic augments the sta...
107
click to vote
CHI
2009
ACM
2009
ACM
Using language tests and emotional expressions to determine the learnability of artificial languages
16 years 2 months ago
The study described hereunder lies within the context of a larger project focusing on the design and implementation of a "Robotic Interaction Language". The research goa...
109
click to vote
AAAI
1990
15 years 2 months ago
1990
Temporal projection-predicting future states of a changing world-has been studied mainly as a formal problem. Researchers have been concerned with getting the concepts of causalit...
136
click to vote
ICALP
2003
Springer
15 years 7 months ago
2003
Springer
Many protocols are designed to operate correctly even in the case where the underlying communication medium is faulty. To capture the behaviour of such protocols, lossy channel sy...