Sciweavers

525 search results - page 57 / 105
» New Active Tools for Supporting Narrative Structures
Sort
View
107
Voted
HICSS
2007
IEEE
109views Biometrics» more  HICSS 2007»
15 years 7 months ago
Towards Reliable Computation of Large-Scale Market-Based Optimal Power Flow
The deregulated electricity market calls for robust OPF tools that can provide (a) deterministic convergence, (b) accurate computation of a variety of nodal prices, (c) support of...
Hongye Wang, Robert J. Thomas
99
Voted
SIGSOFT
2003
ACM
16 years 1 months ago
Tracking pointers with path and context sensitivity for bug detection in C programs
This paper proposes a pointer alias analysis for automatic error detection. State-of-the-art pointer alias analyses are either too slow or too imprecise for finding errors in real...
V. Benjamin Livshits, Monica S. Lam
99
Voted
DAC
2009
ACM
16 years 1 months ago
Debugging strategies for mere mortals
Recent improvements in design verification strive to automate error detection and greatly enhance engineers' ability to detect functional errors. However, the process of diag...
Valeria Bertacco
65
Voted
ICPR
2006
IEEE
16 years 1 months ago
Embodied Proactive Human Interface "PICO-2"
Abstract-- We are conducting research on "Embodied Proactive Human Interface". The aim of this research is to develop a new human-friendly active interface based on two k...
Hiroaki Omasa, Rin-ichiro Taniguchi, Ryo Kurazume,...
TAPOS
1998
126views more  TAPOS 1998»
15 years 6 days ago
Design of Class Hierarchies Based on Concept (Galois) Lattices
Building and maintaining the class hierarchy has been recognized as an important but one of the most difficult activities of object-oriented design. Concept (or Galois) lattices a...
Robert Godin, Hafedh Mili, Guy W. Mineau, Rokia Mi...