3066 search results - page 221 / 614 » On Facilitating Automated Evaluation |
FCCM
2009
IEEE
14 years 4 months ago
2009
IEEE
Although soft microprocessors are widely used in FPGAs, limited work has been performed regarding how to automatically and efficiently generate soft multiprocessors. In this paper...
NCA
2008
IEEE
14 years 4 months ago
2008
IEEE
Wireless mesh networks are a promising backbonesolution for applications in industrial automation. However, high availability of the communication channel is not inherently guaran...
QEST
2007
IEEE
14 years 4 months ago
2007
IEEE
— Probabilistic models are widely used to analyze embedded, networked, and more recently biological systems. Existing numerical analysis techniques are limited to finitestate mo...
TPHOL
2006
IEEE
14 years 3 months ago
2006
IEEE
We extract on the computer a number of moduli of uniform continuity for the first few elements of a sequence of closed terms t of G¨odel’s T of type (N→N)→(N→N). The gen...
EVOW
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. In domains such as music and visual art, where the quality of an individual often depends on subjective or hard to express concepts, the automating fitness assignment bec...