1232 search results - page 92 / 247 » Digraphs: theory, algorithms and applications |
153
click to vote
CIKM
2009
Springer
16 years 22 days ago
2009
Springer
In the blog world, bloggers produce information, establish relationships with other bloggers in order to exchange information, and form a blog network, an online social network. I...
166
click to vote
SIGSOFT
2006
ACM
16 years 3 days ago
2006
ACM
Interpolation based automatic abstraction is a powerful and robust technique for the automated analysis of hardware and software systems. Its use has however been limited to contr...
133
click to vote
ATAL
2005
Springer
15 years 11 months ago
2005
Springer
This paper presents an agent strategy for complex bilateral negotiations over many issues with inter-dependent valuations. We use ideas inspired by graph theory and probabilistic ...
211
click to vote
TIM
2010
15 years 26 days ago
2010
Polynomial chaos theory (PCT) has been proven to be an efficient and effective way to represent and propagate uncertainty through system models and algorithms in general. In partic...
180
click to vote
CADE
2009
Springer
16 years 29 days ago
2009
Springer
Abstract. The problem of computing Craig interpolants in SMT has recently received a lot of interest, mainly for its applications in formal verification. Efficient algorithms for ...