Sciweavers

1569 search results - page 160 / 314
» Automated Design Improvement by Example
Sort
View
ECAI
2008
Springer
15 years 5 months ago
Justification-Based Non-Clausal Local Search for SAT
While stochastic local search (SLS) techniques are very efficient in solving hard randomly generated propositional satisfiability (SAT) problem instances, a major challenge is to i...
Matti Järvisalo, Tommi A. Junttila, Ilkka Nie...
HCI
2009
15 years 1 months ago
Development of Portable Robotic Operation Terminals to Achieve Increased Safety and Usability and a Study on the Effectiveness o
In factory automation (FA) industry, it is essential for the working environment using industrial robots to be provided with measures that assure operator's safety and good us...
Hidetoshi Fukui, Satoshi Yonejima, Masatake Yamano...
138
Voted
ICAC
2006
IEEE
15 years 9 months ago
QMON: QoS- and Utility-Aware Monitoring in Enterprise Systems
Abstract— The scale, reliability, and cost requirements of enterprise data centers require automation of center management. Examples include provisioning, scheduling, capacity pl...
Sandip Agarwala, Yuan Chen, Dejan S. Milojicic, Ka...
109
Voted
3DPVT
2002
IEEE
128views Visualization» more  3DPVT 2002»
15 years 8 months ago
Towards Automatic Modeling of Monuments and Towers
Three-dimensional modeling from images, when carried out entirely by a human, can be time consuming and impractical for large-scale projects. On the other hand, full automation ma...
Sabry F. El-Hakim, J.-Angelo Beraldin, Jean-Fran&c...
127
Voted
ECIS
2004
15 years 5 months ago
Implementing Information Systems to support knowledge work: an exploration of work motifs
The research presented in this paper is part of a larger study of the organizational impacts of information systems on knowledge work. The phase of the research reported in the pa...
Christopher J. Davis, Ellen M. Hunagel