Sciweavers

8331 search results - page 1478 / 1667
» Data Aggregation Sets in Adaptive Data Model
Sort
View
FM
2001
Springer
108views Formal Methods» more  FM 2001»
15 years 9 months ago
Improvements in BDD-Based Reachability Analysis of Timed Automata
To develop efficient algorithms for the reachability analysis of timed automata, a promising approach is to use binary decision diagrams (BDDs) as data structure for the representa...
Dirk Beyer
ASUNAM
2009
IEEE
15 years 8 months ago
Groupthink and Peer Pressure: Social Influence in Online Social Network Groups
In this paper, we present a horizontal view of social influence, more specifically a quantitative study of the influence of neighbours on the probability of a particular node to jo...
Pan Hui, Sonja Buchegger
CLOR
2006
15 years 8 months ago
Shared Features for Multiclass Object Detection
Abstract. We consider the problem of detecting a large number of different classes of objects in cluttered scenes. We present a learning procedure, based on boosted decision stumps...
Antonio B. Torralba, Kevin P. Murphy, William T. F...
ICPR
2010
IEEE
15 years 7 months ago
Recognition and Prediction of Situations in Urban Traffic Scenarios
The recognition and prediction of intersection situations and an accompanying threat assessment are an indispensable skill of future driver assistance systems. This study focuses o...
Eugen Käfer, Christoph Hermes, Christian Wöhler,...
AAAI
2008
15 years 6 months ago
Dormant Independence
The construction of causal graphs from non-experimental data rests on a set of constraints that the graph structure imposes on all probability distributions compatible with the gr...
Ilya Shpitser, Judea Pearl
« Prev « First page 1478 / 1667 Last » Next »