8512 search results - page 119 / 1703 » Computing Theory With Relevance |
IFM
2010
Springer
2010
Springer
Satisfaction Meets Expectations - Computing Expected Values of Probabilistic Hybrid Systems with SMT
13 years 6 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...
CRITICAL
2005
13 years 10 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...
INTERACT
2003
13 years 9 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...
CHI
2009
ACM
14 years 28 days 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...
CIE
2007
Springer
14 years 2 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 ...