2662 search results - page 67 / 533 » Tools Demonstrations |
IIE
2007
14 years 9 months ago
2007
In recent years a small number of web-based tools have been proposed to help students learn to write SQL query statements and also to assess students’ SQL writing skills. SQLify ...
AAAI
1997
14 years 11 months ago
1997
Our goal is to build knowledge acquisition tools that support users in modifying knowledge-based systems. These modi cations may require several individual changes to various comp...
SEFM
2007
IEEE
15 years 4 months ago
2007
IEEE
The Mondex Case study is still the most substantial contribution to the Grand Challenge repository. It has been the target of a number of formal verification efforts. Those effor...
ISVC
2010
Springer
14 years 8 months ago
2010
Springer
We present an interactive visualization tool that provides users with the capability of cutting away the surfaces of enclosing objects to reveal interior or occluded objects. This ...
JSS
2008
14 years 9 months ago
2008
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...