Sciweavers

1753 search results - page 167 / 351
» Reducibility of domain representations and Cantor-Weihrauch ...
Sort
View
SIGDOC
2004
ACM
15 years 7 months ago
Semantic thumbnails: a novel method for summarizing document collections
The concept of thumbnails is common in image representation. A thumbnail is a highly compressed version of an image that provides a small, yet complete visual representation to th...
Arijit Sengupta, Mehmet M. Dalkilic, James C. Cost...
ITS
2004
Springer
124views Multimedia» more  ITS 2004»
15 years 7 months ago
Combining Competing Language Understanding Approaches in an Intelligent Tutoring System
When implementing a tutoring system that attempts a deep understanding of students’ natural language explanations, there are three basic approaches to choose between; symbolic, i...
Pamela W. Jordan, Maxim Makatchev, Kurt VanLehn
SAFECOMP
2004
Springer
15 years 7 months ago
How Explicit Are the Barriers to Failure in Safety Arguments?
Safety cases embody arguments that demonstrate how safety properties of a system are upheld. Such cases implicitly document the barriers that must exist between hazards and vulnera...
Shamus P. Smith, Michael D. Harrison, Bastiaan A. ...
ICDM
2003
IEEE
160views Data Mining» more  ICDM 2003»
15 years 7 months ago
Indexing and Mining Free Trees
Tree structures are used extensively in domains such as computational biology, pattern recognition, computer networks, and so on. In this paper, we present an indexing technique f...
Yun Chi, Yirong Yang, Richard R. Muntz
SMA
2003
ACM
151views Solid Modeling» more  SMA 2003»
15 years 7 months ago
An architecture for universal CAD data exchange
Parametric feature-based CAD data exchange is one of the most important open problems in solid modeling. The problem is significant and challenging both scientifically and comme...
Ari Rappoport