Sciweavers

2757 search results - page 165 / 552
» Empirical investigations of conceptual modeling and the mode...
Sort
View
CAV
2004
Springer
202views Hardware» more  CAV 2004»
15 years 12 months ago
Statistical Model Checking of Black-Box Probabilistic Systems
Abstract. We propose a new statistical approach to analyzing stochastic systems against specifications given in a sublogic of continuous stochastic logic (CSL). Unlike past numeri...
Koushik Sen, Mahesh Viswanathan, Gul Agha
MIR
2006
ACM
178views Multimedia» more  MIR 2006»
16 years 15 days ago
Dual diffusion model of spreading activation for content-based image retrieval
This paper introduces a content-based information retrieval method inspired by the ideas of spreading activation models. In response to a given query, the proposed approach comput...
Serhiy Kosinov, Stéphane Marchand-Maillet, ...
AI
2008
Springer
15 years 6 months ago
The well-designed young mathematician
This paper complements McCarthy's "The well designed child", in part by putting it in a broader context, the space of possible well designed progeny, and in part by...
Aaron Sloman
CDC
2010
IEEE
136views Control Systems» more  CDC 2010»
15 years 1 months ago
The role of social feedback in steady-state performance of human decision making for two-alternative choice tasks
With an eye towards design of human-in-the-loop systems, we investigate human decision making in a social context for tasks that require the human to make repeated choices among fi...
Andrew Reed Stewart, Naomi Ehrich Leonard
ICIP
2009
IEEE
15 years 4 months ago
Object detection and tracking for night surveillance based on salient contrast analysis
Night surveillance is a challenging task because of low brightness, low contrast, low Signal to Noise Ratio (SNR) and low appearance information. Most existing models for night su...
Liangsheng Wang, Kaiqi Huang, Yongzhen Huang, Tien...