Sciweavers

565 search results - page 88 / 113
» A Conceptual Architecture for a Combined Negotiation Support...
Sort
View
AAAI
2008
13 years 10 months ago
Spatial Scaffolding for Sociable Robot Learning
Spatial scaffolding is a naturally occurring human teaching behavior, in which teachers use their bodies to spatially structure the learning environment to direct the attention of...
Cynthia Breazeal, Matt Berlin
CIDR
2007
156views Algorithms» more  CIDR 2007»
13 years 10 months ago
SwissQM: Next Generation Data Processing in Sensor Networks
Sensor networks are becoming an important part of the IT landscape. Existing systems, however, are limited in two fundamental ways: lack of data independence, and poor integration...
René Müller, Gustavo Alonso, Donald Ko...
JAR
2006
103views more  JAR 2006»
13 years 8 months ago
A Framework for Verifying Bit-Level Pipelined Machines Based on Automated Deduction and Decision Procedures
We describe an approach to verifying bit-level pipelined machine models using a combination of deductive reasoning and decision procedures. While theorem proving systems such as AC...
Panagiotis Manolios, Sudarshan K. Srinivasan
CCGRID
2008
IEEE
14 years 3 months ago
Enabling Interoperability among Meta-Schedulers
Grid computing supports shared access to computing resources from cooperating organizations or institutes in the form of virtual organizations. Resource brokering middleware, comm...
Norman Bobroff, Liana Fong, Selim Kalayci, Yanbin ...
FPL
2009
Springer
154views Hardware» more  FPL 2009»
14 years 1 months ago
Compiler assisted runtime task scheduling on a reconfigurable computer
Multitasking reconfigurable computers with one or more reconfigurable processors are being used increasingly during the past few years. One of the major challenges in such systems...
Mojtaba Sabeghi, Vlad Mihai Sima, Koen Bertels