Sciweavers

7580 search results - page 152 / 1516
» Prometheus design tool
Sort
View
180
Voted
DEXA
2007
Springer
176views Database» more  DEXA 2007»
15 years 10 months ago
Benchmarking RDF Production Tools
Since a big part of web content is stored in relational databases (RDB) there are several approaches for generating of semantic web metadata from RDB. In our previous work we desig...
Martin Svihla, Ivan Jelínek
151
Voted
COSIT
1999
Springer
132views GIS» more  COSIT 1999»
15 years 8 months ago
Pictorial and Verbal Tools for Conveying Routes
Traditionally, depictions and descriptions have been seen as complementary; depictions have been preferred to convey iconic or metaphorically iconic information whereas description...
Barbara Tversky, Paul U. Lee
131
Voted
EURODAC
1990
IEEE
102views VHDL» more  EURODAC 1990»
15 years 8 months ago
Tools and devices supporting the pseudo-exhaustive test
: In this paper logical cells and algorithms are presented supporting the design of pseudo-exhaustively testable circuits. The approach is based on real hardware segmentation, inst...
Sybille Hellebrand, Hans-Joachim Wunderlich
ECTEL
2006
Springer
15 years 7 months ago
Informal Learning Theories and Tools to Support Knowledge Management in Distributed CoPs
In this work informal learning theories and practices and social networking features are taken as starting points to build a reference collaboration model to support collaborative ...
Maria Chiara Pettenati, Maria Ranieri
CAV
2010
Springer
286views Hardware» more  CAV 2010»
15 years 4 months ago
ABC: An Academic Industrial-Strength Verification Tool
ABC is a public-domain system for logic synthesis and formal verification of binary logic circuits appearing in synchronous hardware designs. ABC combines scalable logic transforma...
Robert K. Brayton, Alan Mishchenko