7118 search results - page 743 / 1424 » Electrical and Computer Engineering |
203
click to vote
ACMIDC
2009
15 years 10 months ago
2009
We propose simple tangible language elements for very young children to use when constructing programmes. The equivalent Turtle Talk instructions are given for comparison. Two exa...
166
click to vote
ICPR
2010
IEEE
15 years 10 months ago
2010
IEEE
Conditional random field methods (CRFs) have gained popularity for image labeling tasks in recent years. In this paper, we describe an alternative discriminative approach, by exte...
207
click to vote
AINA
2008
IEEE
15 years 9 months ago
2008
IEEE
A link farm is a set of web pages constructed to mislead the importance of target pages in search engine results by boosting their link-based ranking scores. In this paper, we int...
197
click to vote
ASM
2008
ASM
15 years 9 months ago
2008
ASM
Abstract. In this paper we examine the difference between model checking high-level and low-level models. In particular, we compare the ProB model checker for the B-method and the ...
177
click to vote
CF
2008
ACM
15 years 9 months ago
2008
ACM
We develop architectural techniques for mitigating the impact of process variability. Our techniques hide the performance effects of slow components--including registers, function...