Sciweavers

1465 search results - page 213 / 293
» Data at work: supporting sharing in science and engineering
Sort
View
AVI
2008
13 years 11 months ago
Bridging the gap between real printouts and digital whiteboard
In this paper, we describe a paper-based interface, which combines the physical (real) with the digital world: while interacting with real paper printouts, users can seamlessly wo...
Peter Brandl, Michael Haller, Juergen Oberngruber,...
ICST
2010
IEEE
13 years 7 months ago
When BDDs Fail: Conformance Testing with Symbolic Execution and SMT Solving
—Model-based testing is a well known technique that allows one to validate the correctness of software with respect to its model. If a lot of data is involved, symbolic technique...
Elisabeth Jöbstl, Martin Weiglhofer, Bernhard...
BMCBI
2010
84views more  BMCBI 2010»
13 years 9 months ago
Word add-in for ontology recognition: semantic enrichment of scientific literature
Background: In the current era of scientific research, efficient communication of information is paramount. As such, the nature of scholarly and scientific communication is changi...
J. Lynn Fink, Pablo Fernicola, Rahul Chandran, Sav...
ICAS
2008
IEEE
201views Robotics» more  ICAS 2008»
14 years 3 months ago
Distributed Reasoning for Context-Aware Services through Design of an OWL Meta-Model
Abstract—A growing number of applications start using Semantic Web technologies. The base concept in this technology is the use of ontologies, allowing first-order logic reasoni...
Stijn Verstichel, Matthias Strobbe, Pieter Simoens...
AVI
2006
13 years 10 months ago
Line graph explorer: scalable display of line graphs using Focus+Context
Scientific measurements are often depicted as line graphs. Stateof-the-art high throughput systems in life sciences, telemetry and electronics measurement rapidly generate hundred...
Robert Kincaid, Heidi Lam