Sciweavers

2414 search results - page 257 / 483
» Reasoning Support for OWL-E
Sort
View
TIS
1998
62views more  TIS 1998»
15 years 6 months ago
An Ethics For The New Surveillance
The Principles of Fair Information Practice are almost three decades old and need to be broadened to take account of new technologies for collecting personal information such as d...
Gary T. Marx
PUC
2007
132views more  PUC 2007»
15 years 6 months ago
Kitchen stories: sharing recipes with the Living Cookbook
Research on smart houses has mostly been focused on automation and invisible integration of technology, which may lead to a perceived loss of control and a sense of being observed....
Lucia Terrenghi, Otmar Hilliges, Andreas Butz
181
Voted
TASE
2008
IEEE
15 years 6 months ago
An Extension to Pointer Logic for Verification
The safety of pointer programs is an important issue in high-assurance software design, and their verification remains a major challenge. Pointer Logic has been proposed to verify...
Zhifang Wang, Yiyun Chen, Zhenming Wang, Wei Wang,...
207
Voted
TVCG
2008
123views more  TVCG 2008»
15 years 6 months ago
Using Visual Design Experts in Critique-Based Evaluation of 2D Vector Visualization Methods
Abstract-- We describe an experiment in which art and illustration experts evaluated six 2D vector visualization methods. We found that these expert critiques mirrored previously r...
Daniel Acevedo Feliz, Cullen D. Jackson, Fritz Dru...
ISOLA
2010
Springer
15 years 5 months ago
A Theory of Mediators for Eternal Connectors
On the fly synthesis of mediators is a revolutionary approach to the seamless networking of today’s and future digital systems that increasingly need be connected. The resulting...
Paola Inverardi, Valérie Issarny, Romina Sp...