Sciweavers

1074 search results - page 185 / 215
» Rule sets based bilevel decision model
Sort
View
FM
2001
Springer
108views Formal Methods» more  FM 2001»
15 years 4 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
PROCEDIA
2010
129views more  PROCEDIA 2010»
14 years 6 months ago
Car-driving assistance using organization measurement of reactive multi-agent system
This work presents an approach to the obstacle avoidance problem, applicable in the frame of driver assistance. A decision, expressed as a proposed acceleration vector for the veh...
Franck Gechter, Jean-Michel Contet, Pablo Gruer, A...
AFRIGRAPH
2007
ACM
15 years 3 months ago
Generic computation of bulletin boards into geometric kernels
Nowadays, many commercial CAD systems are built on proprietary geometric kernels which provide an API containing a set of high level geometric operations (boolean operations, slot...
Mehdi Baba-ali, David Marcheix, Xavier Skapin, Yve...
ASIAMS
2007
IEEE
15 years 6 months ago
Rough-Fuzzy Granulation, Rough Entropy and Image Segmentation
This talk has two parts explaining the significance of Rough sets in granular computing in terms of rough set rules and in uncertainty handling in terms of lower and upper approxi...
Sankar K. Pal
WINE
2009
Springer
200views Economy» more  WINE 2009»
15 years 4 months ago
Pricing Strategies for Viral Marketing on Social Networks
Abstract. We study the use of viral marketing strategies on social networks that seek to maximize revenue from the sale of a single product. We propose a model in which the decisio...
David Arthur, Rajeev Motwani, Aneesh Sharma, Ying ...