2618 search results - page 234 / 524 » The user in experimental computer systems research |
165
click to vote
CPAIOR
2005
Springer
16 years 6 days ago
2005
Springer
Hybrid algorithms combining local and systematic search often use nondeterminism in fundamentally different ways. They may differ in the strategy to explore the search tree and/o...
154
click to vote
ATAL
2011
Springer
14 years 6 months ago
2011
Springer
This research investigates event generalisation in computational episodic memory for artificial companions. Two studies indicated a preference of a biologically-inspired selectiv...
187
click to vote
RTCSA
2006
IEEE
16 years 20 days ago
2006
IEEE
To support high-performance and low-power for multimedia applications and for hand-held devices, embedded VLIW DSP processors are of research focus. With the tight resource constr...
168
click to vote
GPC
2009
Springer
15 years 10 months ago
2009
Springer
Grid systems integrate distributed resources to form self-organization and self-management autonomies. Recently, for large-scale computation requirement, the collaboration of diffe...
165
click to vote
ICCAD
2004
IEEE
16 years 3 months ago
2004
IEEE
edicate Abstraction and Induction Edmund Clarke Daniel Kroening June 25, 2004 CMU-CS-04-131 School of Computer Science Carnegie Mellon University Pittsburgh, PA 15213 It is common...