3653 search results - page 207 / 731 » On Recognizable Timed Languages |
144
click to vote
ASPLOS
1998
ACM
15 years 9 months ago
1998
ACM
Our new out-of-order processor simulator, FastSim, uses two innovations to speed up simulation 8–15 times (vs. Wisconsin SimpleScalar) with no loss in simulation accuracy. First...
130
click to vote
ICFP
2006
ACM
16 years 5 months ago
2006
ACM
Languages with rich type systems are beginning to employ a blend of type inference and type checking, so that the type inference engine is guided by programmer-supplied type annot...
130
click to vote
ICASSP
2008
IEEE
15 years 12 months ago
2008
IEEE
In this paper we present an approach for speech recognition of multiple languages with constrained resources on embedded devices. Examples of such systems are navigation systems, ...
154
click to vote
DALT
2005
Springer
15 years 11 months ago
2005
Springer
Existing cognitive agent programming languages that are based on the BDI model employ logical representation and reasoning for implementing the beliefs of agents. In these programm...
149
click to vote
MFCS
2004
Springer
15 years 10 months ago
2004
Springer
A binary language-theoretic operation is proposed, which is dual to the concatenation of languages in the same sense as the universal quantifier in logic is dual to the existenti...