Sciweavers

1615 search results - page 141 / 323
» Computer science and decision theory
Sort
View
ICCV
2009
IEEE
1188views Computer Vision» more  ICCV 2009»
16 years 3 months ago
Actionable Information in Vision
I propose a notion of visual information as the complexity not of the raw images, but of the images after the effects of nuisance factors such as viewpoint and illumination are dis...
Stefano Soatto
102
Voted
CHI
2007
ACM
16 years 1 months ago
Decision-making strategies in design meetings
This project aims to further our understanding of the practice of user-centered design (UCD) by observing the argumentation strategies used by designers in faceto-face meetings in...
Erin Friess
214
Voted
CORR
2012
Springer
286views Education» more  CORR 2012»
13 years 8 months ago
A Faster Algorithm for Solving One-Clock Priced Timed Games
One-clock priced timed games is a class of two-player, zero-sum, continuous-time games that was defined and thoroughly studied in previous works. We show that One-clock priced ti...
Thomas Dueholm Hansen, Rasmus Ibsen-Jensen, Peter ...
127
Voted
LICS
2006
IEEE
15 years 6 months ago
A Congruence Rule Format for Name-Passing Process Calculi from Mathematical Structural Operational Semantics
d Abstract) Marcelo Fiore∗ and Sam Staton† Computer Laboratory, University of Cambridge We introduce a mathematical structural operational semantics that yields a congruence r...
Marcelo P. Fiore, Sam Staton
93
Voted
SC
1993
ACM
15 years 4 months ago
Scientific visualization of chemical systems
Within the past few years, computer graphics has played a decisive role in transforming the field of molecular modeling into an intemaiional industry. While computer scientists ar...
Richard E. Gillilan, Bruce R. Land