Sciweavers

2498 search results - page 7 / 500
» A tool for materials exploration
Sort
View
CAV
2003
Springer
124views Hardware» more  CAV 2003»
14 years 1 months ago
Evidence Explorer: A Tool for Exploring Model-Checking Proofs
Yifei Dong, C. R. Ramakrishnan, Scott A. Smolka
CHI
2011
ACM
12 years 11 months ago
From garments to gardens: negotiating material relationships online and 'by hand'
From home improvement to scrapbooking, leisure activities performed “by hand” increasingly involve digital tools. In turn, software and devices to support handwork are prolife...
Elizabeth Goodman, Daniela Rosner
HT
1997
ACM
14 years 3 days ago
Spatial Hypertext and the Practice of Information Triage
Information triage is the process of sorting through relevant materials, and organizing them to meet the needs of the task at hand. It is a practice that has become increasingly c...
Catherine C. Marshall, Frank M. Shipman III
ITICSE
2000
ACM
14 years 9 days ago
A suite of WWW-based tools for advanced course management
A collection of tools for creation of advanced and comprehensive course home pages is presented. The tools cover the spectrum from course overview pages and hypertext teaching mat...
Kurt Nørmark
FLAIRS
2006
13 years 9 months ago
MediaFlies - An Interactive Flocking Based Tool for the Remixing of Media
The project MediaFlies implements an interactive multiagent system that incorporates flocking and synchronization in order to generate a constantly changing visual output. It reli...
Daniel Bisig, Tatsuo Unemi