Sciweavers

1313 search results - page 210 / 263
» Generic Universe Types
Sort
View
ITNG
2007
IEEE
16 years 13 days ago
SERT: Software Tool for Generating Student Engagement Reports
Drawing on our previous work on survey and reporting tools that compare faculty expectations with what students report experiencing in class, this paper presents details of a new ...
Judith Ann Ouimet, Sermsak Buntha, Sergiu M. Dasca...
EUSAI
2007
Springer
16 years 10 days ago
Situated Public News and Reminder Displays
In this paper we present concepts for and experiences with a Situated Public Display system deployed in a university setting. We identify the rate with which information is updated...
Jörg Müller, Oliver Paczkowski, Antonio ...
GECCO
2007
Springer
171views Optimization» more  GECCO 2007»
16 years 10 days ago
Concept-based multi-objective problems and their solution by EC
Recent studies on the support of engineers during conceptual design resulted in a non-traditional type of Multi-Objective Problems (MOPs), namely concept-based ones. In concept-ba...
Amiram Moshaiov, Gideon Avigad
SAT
2007
Springer
121views Hardware» more  SAT 2007»
16 years 8 days ago
Applying Logic Synthesis for Speeding Up SAT
SAT solvers are often challenged with very hard problems that remain unsolved after hours of CPU time. The research community meets the challenge in two ways: (1) by improving the ...
Niklas Eén, Alan Mishchenko, Niklas Sö...
ICDCS
2006
IEEE
16 years 6 days ago
Distributed Computing for Efficient Hyperspectral Imaging Using Fully Heterogeneous Networks of Workstations
Hyperspectral imaging is a new technique which has become increasingly important in many remote sensing applications, including automatic target recognition for military and defen...
Antonio Plaza, Javier Plaza, David Valencia