Sciweavers

3946 search results - page 81 / 790
» The computational complexity of choice sets
Sort
View
93
Voted
IPPS
2009
IEEE
15 years 6 months ago
Understanding the design trade-offs among current multicore systems for numerical computations
In this paper, we empirically evaluate fundamental design trade-offs among the most recent multicore processors and accelerator technologies. Our primary aim is to aid application...
Seunghwa Kang, David A. Bader, Richard W. Vuduc
84
Voted
SIGCSE
2003
ACM
137views Education» more  SIGCSE 2003»
15 years 5 months ago
Measuring the effectiveness of robots in teaching computer science
We report the results of a year-long experiment in the use of robots to teach computer science. Our data set compares results from over 800 students on identical tests from both r...
Barry S. Fagin, Laurence D. Merkle
CONCUR
2001
Springer
15 years 4 months ago
Symbolic Computation of Maximal Probabilistic Reachability
We study the maximal reachability probability problem for infinite-state systems featuring both nondeterministic and probabilistic choice. The problem involves the computation of ...
Marta Z. Kwiatkowska, Gethin Norman, Jeremy Sprost...
IJAR
2007
104views more  IJAR 2007»
14 years 11 months ago
On representation and aggregation of social evaluations in computational trust and reputation models
Interest for computational trust and reputation models is on the rise. One of the most important aspects of these models is how they deal with information received from other indi...
Jordi Sabater-Mir, Mario Paolucci
91
Voted
PERCOM
2004
ACM
15 years 11 months ago
A User-Guided Cognitive Agent for Network Service Selection in Pervasive Computing Environments
Connectivity is central to pervasive computing environments. We seek to catalyze a world of rich and diverse connectivity through technologies that drastically simplify the task o...
George Lee, Peyman Faratin, Steven Bauer, John Wro...