Sciweavers

424 search results - page 49 / 85
» Requirements Prioritization Challenges in Practice
Sort
View
HICSS
2006
IEEE
152views Biometrics» more  HICSS 2006»
14 years 1 months ago
Distributed Uniform Sampling in Unstructured Peer-to-Peer Networks
— Uniform sampling in networks is at the core of a wide variety of randomized algorithms. Random sampling can be performed by modeling the system as an undirected graph with asso...
Asad Awan, Ronaldo A. Ferreira, Suresh Jagannathan...
SYNASC
2006
IEEE
91views Algorithms» more  SYNASC 2006»
14 years 1 months ago
MATHsAiD: A Mathematical Theorem Discovery Tool
In the eld of automated reasoning, one of the most challenging (even if, perhaps, somewhat overlooked) problems thus far has been to develop a means of discerning, from amongst al...
Roy L. McCasland, Alan Bundy
ICALT
2005
IEEE
14 years 1 months ago
An Empirical Exploration of Using Wiki in an English as a Second Language Course
In this paper, we present an empirical study of using a new and cost-effective Web-based collaboration software, Wiki, in a freshman-level English as a second language (ESL) cours...
Hao-Chuan Wang, Chun-Hung Lu, Jun-Yi Yang, Hsin-We...
SMA
2005
ACM
104views Solid Modeling» more  SMA 2005»
14 years 1 months ago
Packing a trunk: now with a twist!
In an industry project with a German car manufacturer we are faced with the challenge of placing a maximum number of uniform rigid rectangular boxes in the interior of a car trunk...
Friedrich Eisenbrand, Stefan Funke, Andreas Karren...
BIRTHDAY
2005
Springer
14 years 1 months ago
Towards Comprehensive Computational Models for Plan-Based Control of Autonomous Robots
In this paper we present an overview of recent developments in the plan-based control of autonomous robots. We identify computational principles that enable autonomous robots to a...
Michael Beetz