Sciweavers

KES
2006
Springer
13 years 4 months ago
A Divergent-Style Learning Support Tool for English Learners Using a Thesaurus Diagram
This paper proposes an English learning support tool which provides users with divergent information to find the right words and expressions. In contrast to a number of software to...
Chie Shimodaira, Hiroshi Shimodaira, Susumu Kunifu...
EOR
2007
80views more  EOR 2007»
13 years 4 months ago
The tool switching problem revisited
In this note we study the tool switching problem with non-uniform tool sizes. More specifically, we consider the problem where the job sequence is given as part of the input. We ...
Yves Crama, Linda S. Moonen, Frits C. R. Spieksma,...
ENTCS
2007
113views more  ENTCS 2007»
13 years 4 months ago
The Interactive Curry Observation Debugger iCODE
Debugging by observing the evaluation of expressions and functions is a useful approach for finding bugs in lazy functional and functional logic programs. However, adding and rem...
Parissa H. Sadeghi, Frank Huch
KI
2008
Springer
13 years 4 months ago
A Drum Machine That Learns to Groove
Music production relies increasingly on advanced hardware and software tools that makes the creative process more flexible and versatile. The advancement of these tools helps reduc...
Axel Tidemann, Yiannis Demiris
JSS
2008
92views more  JSS 2008»
13 years 4 months ago
A Web services-based framework for building componentized digital libraries
We present a new Web services-based framework for building componentized digital libraries (DLs). We particularly demonstrate how traditional RDBMS technology can be easily deploy...
Rodrygo L. T. Santos, Pablo A. Roberto, Marcos And...
IWC
2006
98views more  IWC 2006»
13 years 4 months ago
Flexible tool support for accessibility evaluation
The increasing need to check Web site accessibility has stimulated interest in tools to aid the various activities involved. While some tools for this purpose already exist, we be...
Barbara Leporini, Fabio Paternò, Antonio Sc...
IWC
2006
99views more  IWC 2006»
13 years 4 months ago
A computer support tool for the early stages of architectural design
Even in the current computer age, there are still many important application areas, such as early architectural design, where traditional tools like sketching on paper continue to...
Dzmitry Aliakseyeu, Jean-Bernard Martens, Matthias...
JLP
2008
75views more  JLP 2008»
13 years 4 months ago
Automated verification of selected equivalences for security protocols
In the analysis of security protocols, methods and tools for reasoning about protocol behaviors have been quite effective. We aim to expand the scope of those methods and tools. W...
Bruno Blanchet, Martín Abadi, Cédric...
ITSSA
2006
98views more  ITSSA 2006»
13 years 4 months ago
Agent-Oriented Data Curation in Bioinformatics
Abstract. The practitioners of bioinformatics require increasing sophistication from their software tools to take into account the particular characteristics that make their domain...
Simon Miles
JGTOOLS
2008
101views more  JGTOOLS 2008»
13 years 4 months ago
Versatile Decorative Halftoning
Abstract. This paper describes a flexible tool for decorative halftoning. Decorative halftoning produces a picture that can be seen simultaneously on two levels: either as an over-...
Alejo Hausner