8512 search results - page 119 / 1703 » Computing Theory With Relevance |
144
Voted
IFM
2010
Springer
2010
Springer
Satisfaction Meets Expectations - Computing Expected Values of Probabilistic Hybrid Systems with SMT
15 years 2 months ago
Stochastic satisfiability modulo theories (SSMT), which is an extension of satisfiability modulo theories with randomized quantification, has successfully been used as a symboli...
128
click to vote
CRITICAL
2005
15 years 6 months ago
2005
Critical computing should include a concern for the everyday work practice of IT professionals. We explain our ‘micro-ethical view’, which shifts focus towards everyday work c...
145
click to vote
INTERACT
2003
15 years 5 months ago
2003
: Context-aware computing describes the area of applications that adapt according to environmental measures and it promises a smooth interaction between humans and technology. To f...
148
click to vote
CHI
2009
ACM
15 years 8 months ago
2009
ACM
As HCI becomes more self-consciously implicated in culture, theories from cultural studies, in particular aesthetics and critical theory, are increasingly working their way into t...
149
click to vote
CIE
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. We show that many so called discrete weak semilattices considered earlier in a series of author’s publications have hereditary undecidable first-order theories. Since ...