12052 search results - page 309 / 2411 » computing 2010 |
222
click to vote
DATE
2010
IEEE
15 years 11 months ago
2010
IEEE
—This paper presents the definition of an integrated processor core ASIC named SCOC3 which is designed for space computers. It also presents the validation method that has led to...
166
click to vote
DATE
2010
IEEE
15 years 11 months ago
2010
IEEE
Abstract—In conventional static implementations for correlated streaming applications, computing resources may be inefficiently utilized since multiple stream processors may sup...
165
click to vote
ITS
2010
Springer
15 years 11 months ago
2010
Springer
We investigate whether four metacognitive metrics derived from student correctness and uncertainty values are predictive of student learning in a fully automated spoken dialogue co...
179
click to vote
LATIN
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. We study the computational complexity of deciding the existence of a Hamiltonian Cycle in some dense classes of k-uniform hypergraphs. Those problems turned out to be, al...
144
click to vote
AIPS
2010
15 years 9 months ago
2010
The utility of including loops in plans has been long recognized by the planning community. Loops in a plan help increase both its applicability and the compactness of representat...