Sciweavers

6455 search results - page 7 / 1291
» Research problems
Sort
View
EUROPAR
2003
Springer
14 years 26 days ago
The Verifying Compiler: A Grand Challenge for Computing Research
I propose a set of criteria which distinguish a grand challenge in science or engineering from the many other kinds of short-term or long-term research problems that engage the int...
C. A. R. Hoare
DILS
2005
Springer
14 years 1 months ago
Eco-Informatics for Decision Makers Advancing a Research Agenda
Resource managers often face significant information technology (IT) problems when integrating ecological or environmental information to make decisions. At a workshop sponsored by...
Judith Bayard Cushing, Tyrone Wilson
EOR
2008
72views more  EOR 2008»
13 years 7 months ago
The car sequencing problem: Overview of state-of-the-art methods and industrial case-study of the ROADEF'2005 challenge problem
The ROADEF challenge is organized every two years by the French Society of Operations Research and Decision-Making Aid. The goal is to allow industrial partners to witness recent ...
Christine Solnon, Van Dat Cung, Alain Nguyen, Chri...
CHI
2009
ACM
14 years 8 months ago
Friend or foe?: examining CAS use in mathematics research
Computer Algebra Systems (CAS) provide sophisticated functionality to assist with mathematical problem solving. Despite their widespread adoption, however, little work in the HCI ...
Andrea Bunt, Michael Terry, Edward Lank
CCR
2005
65views more  CCR 2005»
13 years 7 months ago
The IETF, the IRTF, and the networking research community
Some in the research community perceive the Internet Engineering Task Force (IETF) as ossified and see the difficulty in standardizing new protocols as an indication that there is...
Aaron Falk