Sciweavers

5433 search results - page 924 / 1087
» Tool Support for Traceability-Adaptation
Sort
View
IS
2010
15 years 5 months ago
VISTO: A new CBIR system for vector images
In this paper, we present the main features of VISTO (Vector Image Serach TOol), a new Content-Based Image Retrieval (CBIR) system for vector images. Though unsuitable for photore...
Tania Di Mascio, Daniele Frigioni, Laura Tarantino
SIGCSE
2008
ACM
153views Education» more  SIGCSE 2008»
15 years 5 months ago
A cross-domain visual learning engine for interactive generation of instructional materials
We present the design and development of a Visual Learning Engine, a tool that can form the basis for interactive development of visually rich teaching and learning modules across...
K. R. Subramanian, T. Cassen
ITP
2010
172views Mathematics» more  ITP 2010»
15 years 5 months ago
Automated Machine-Checked Hybrid System Safety Proofs
mentation of the Abstraction Method In Coq Eelis van der Weegen Institute for Computing and Information Sciences Raboud University Nijmegen This technical report documents our deve...
Herman Geuvers, Adam Koprowski, Dan Synek, Eelis v...
JCSS
2010
190views more  JCSS 2010»
15 years 5 months ago
Pattern matching with don't cares and few errors
We present solutions for the k-mismatch pattern matching problem with don’t cares. Given a text t of length n and a pattern p of length m with don’t care symbols and a bound k...
Raphaël Clifford, Klim Efremenko, Ely Porat, ...
JIDM
2010
121views more  JIDM 2010»
15 years 5 months ago
Providing Multidimensional and Geographical Integration Based on a GDW and Metamodels
Data Warehouse (DW), On-Line Analytical Processing (OLAP) and Geographical Information System (GIS) are tools for providing decision-making support. Much research is aimed at inte...
Robson do Nascimento Fidalgo, Valéria Ces&a...