Sciweavers

2314 search results - page 278 / 463
» Monoids over domains
Sort
View
CHI
2006
ACM
16 years 2 months ago
Keeping up appearances: understanding the dimensions of incidental information privacy
We conducted a survey of 155 participants to examine privacy concerns relating to the viewing of incidental information (i.e. traces of previous activity unrelated to the task at ...
Kirstie Hawkey, Kori M. Inkpen
CHI
2006
ACM
16 years 2 months ago
Embedded phenomena: supporting science learning with classroom-sized distributed simulations
`Embedded phenomena' is a learning technology framework in which simulated scientific phenomena are mapped onto the physical space of classrooms. Students monitor and control...
Tom Moher
VLSID
2002
IEEE
177views VLSI» more  VLSID 2002»
16 years 2 months ago
RTL-Datapath Verification using Integer Linear Programming
Satisfiability of complex word-level formulas often arises as a problem in formal verification of hardware designs described at the register transfer level (RTL). Even though most...
Raik Brinkmann, Rolf Drechsler
CHI
2002
ACM
16 years 2 months ago
Interactive querying of time series data
Title of Dissertation: INTERACTIVE GRAPHICAL QUERYING OF TIME SERIES AND LINEAR SEQUENCE DATA SETS Harry Hochheiser, Doctor of Philosophy, 2003 Dissertation directed by: Professor...
Harry Hochheiser
CHI
2001
ACM
16 years 2 months ago
What makes Web sites credible?: a report on a large quantitative study
The credibility of web sites is becoming an increasingly important area to understand. To expand knowledge in this domain, we conducted an online study that investigated how diffe...
B. J. Fogg, Jonathan Marshall, Othman Laraki, Alex...