Sciweavers

2002 search results - page 168 / 401
» Interactive technical illustration
Sort
View
CHI
2009
ACM
16 years 5 months ago
Towards intelligent authoring tools for machinima creation
As user-created content increasingly becomes an ever more prominent element of modern game design, tools have been developed to aide in the creative process for several forms of d...
Brian O'Neill, Mark O. Riedl, Michael Nitsche
ACMDIS
2000
ACM
15 years 9 months ago
Contextual Prototyping of User Interfaces
Contextual development differs from traditional user interface development in several ways: It focuses on the context of usage and the user population rather than on the technical...
Christian Stary
TACAS
2000
Springer
149views Algorithms» more  TACAS 2000»
15 years 8 months ago
Proof General: A Generic Tool for Proof Development
This note describes Proof General, a tool for developing machine proofs with an interactive proof assistant. Interaction is based around a proof script, which is the target of a pr...
David Aspinall
FOCS
2010
IEEE
15 years 2 months ago
A Multiplicative Weights Mechanism for Privacy-Preserving Data Analysis
Abstract--We consider statistical data analysis in the interactive setting. In this setting a trusted curator maintains a database of sensitive information about individual partici...
Moritz Hardt, Guy N. Rothblum
ICCV
2003
IEEE
16 years 6 months ago
Conditional Feature Sensitivity: A Unifying View on Active Recognition and Feature Selection
The objective of active recognition is to iteratively collect the next "best" measurements (e.g., camera angles or viewpoints), to maximally reduce ambiguities in recogn...
Xiang Sean Zhou, Dorin Comaniciu, Arun Krishnan