Sciweavers

6770 search results - page 395 / 1354
» How GPUs Work
Sort
View
AGILEDC
2007
IEEE
15 years 5 months ago
Does the XP environment meet the motivational needs of the software developer? An empirical study
This paper examines how XP practice meets the motivational needs of software developers. Interactions with peers have been identified by others as one potential area of (de)motiva...
Sarah Beecham, Helen Sharp, Nathan Baddoo, Tracy H...
HASE
2008
IEEE
15 years 4 months ago
Aiding Modular Design and Verification of Safety-Critical Time-Triggered Systems by Use of Executable Formal Specifications
Designing safety-critical systems is a complex process, and especially when the design is carried out at different f abstraction where the correctness of the design at one level i...
Kohei Sakurai, Péter Bokor, Neeraj Suri
AI
2008
Springer
15 years 4 months ago
Sequential Monte Carlo in reachability heuristics for probabilistic planning
The current best conformant probabilistic planners encode the problem as a bounded length CSP or SAT problem. While these approaches can find optimal solutions for given plan leng...
Daniel Bryce, Subbarao Kambhampati, David E. Smith
AIS
2007
Springer
15 years 4 months ago
Virtual meeting rooms: from observation to simulation
Much working time is spent in meetings and as a consequence meetings have become the subject of multidisciplinary research. Virtual Meeting Rooms (VMRs) are 3D virtual replicas of ...
Dennis Reidsma, Rieks op den Akker, Rutger Rienks,...
APIN
2008
110views more  APIN 2008»
15 years 4 months ago
Explaining inferences in Bayesian networks
While Bayesian network (BN) can achieve accurate predictions even with erroneous or incomplete evidence, explaining the inferences remains a challenge. Existing approaches fall sh...
Ghim-Eng Yap, Ah-Hwee Tan, HweeHwa Pang