756 search results - page 30 / 152 » Can Abstract State Machines Be Useful in Language Theory |
EMSOFT
2008
Springer
13 years 9 months ago
2008
Springer
Interface theories have been proposed to support incremental design and independent implementability. Incremental design means that the compatibility checking of interfaces can pr...
INAP
2001
Springer
14 years 11 days ago
2001
Springer
Abstract. In requirements engineering use cases are employed to describe the ow of events and the occurrence of states in a future information system. Use cases consist of a set of...
ECAI
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. Temporally extended goals are used in planning to express safety and maintenance conditions. Linear temporal logic is the language often used to express temporally extend...
MM
2010
ACM
13 years 8 months ago
2010
ACM
Images can affect people on an emotional level. Since the emotions that arise in the viewer of an image are highly subjective, they are rarely indexed. However there are situation...
PCM
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. In this paper, a new sign-wise tied mixture HMM (SWTMHMM) is proposed and applied in vision-based sign language recognition (SLR). In the SWTMHMM, the mixture densities o...