2722 search results - page 395 / 545 » Automating Language Evolution |
105
click to vote
LICS
2007
IEEE
15 years 10 months ago
2007
IEEE
According to Strachey, a polymorphic program is parametric if it applies a uniform algorithm independently of the type instantiations at which it is applied. The notion of relatio...
140
click to vote
RSP
2007
IEEE
15 years 10 months ago
2007
IEEE
Building Distributed Real-Time Embedded systems requires a stringent methodology, from early requirements capture to full implementation. However, there is a strong link between t...
160
click to vote
SIES
2007
IEEE
15 years 10 months ago
2007
IEEE
— This paper introduces and formally defines the environment-and-system-partitioned property for behavioral models of reactive systems expressed in the formal modeling language ...
143
click to vote
TIME
2007
IEEE
15 years 10 months ago
2007
IEEE
It is known that for temporal languages, such as firstorder LT L, reasoning about constant (time-independent) relations is almost always undecidable. This applies to temporal des...
114
click to vote
ACII
2007
Springer
15 years 10 months ago
2007
Springer
Recently, there has been considerable interest in the automated recognition of affect from written and spoken language. In this paper, we investigate how information on a speaker...