3653 search results - page 207 / 731 » On Recognizable Timed Languages |
173
Voted
ASPLOS
1998
ACM
15 years 11 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...
166
Voted
ICFP
2006
ACM
16 years 7 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...
169
Voted
ICASSP
2008
IEEE
16 years 1 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, ...
194
click to vote
DALT
2005
Springer
16 years 20 days 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...
192
Voted
MFCS
2004
Springer
16 years 14 days 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...