Sciweavers

567 search results - page 63 / 114
» Collaborative recommender systems: Combining effectiveness a...
Sort
View
KES
2008
Springer
14 years 11 months ago
IRPS - An Efficient Test Data Generation Strategy for Pairwise Testing
Software testing is an integral part of software engineering. Lack of testing often leads to disastrous consequences including loss of data, fortunes, and even lives. In order to e...
Mohammed I. Younis, Kamal Zuhairi Zamli, Nor Ashid...
IROS
2009
IEEE
149views Robotics» more  IROS 2009»
15 years 6 months ago
Field trial of networked social robots in a shopping mall
—This paper reports the challenges of developing multiple social robots that operate in a shopping mall. We developed a networked robot system that coordinates multiple social ro...
Masahiro Shiomi, Takayuki Kanda, Dylan F. Glas, Sa...
CADE
2007
Springer
16 years 4 days ago
Towards Efficient Satisfiability Checking for Boolean Algebra with Presburger Arithmetic
Boolean Algebra with Presburger Arithmetic (BAPA) is a decidable logic that combines 1) Boolean algebra of sets of uninterpreted elements (BA) and 2) Presburger arithmetic (PA). BA...
Viktor Kuncak, Martin C. Rinard
DEXA
2004
Springer
112views Database» more  DEXA 2004»
15 years 3 months ago
Efficient Algorithms for Multi-file Caching
Multi-File Caching issues arise in applications where a set of jobs are processed and each job requests one or more input files. A given job can only be started if all its input fi...
Ekow J. Otoo, Doron Rotem, Sridhar Seshadri
SASP
2009
IEEE
291views Hardware» more  SASP 2009»
15 years 6 months ago
FCUDA: Enabling efficient compilation of CUDA kernels onto FPGAs
— As growing power dissipation and thermal effects disrupted the rising clock frequency trend and threatened to annul Moore’s law, the computing industry has switched its route...
Alexandros Papakonstantinou, Karthik Gururaj, John...