4211 search results - page 616 / 843 » Types as Abstract Interpretations |
160
click to vote
PKDD
2010
Springer
15 years 4 months ago
2010
Springer
We present a tool for interactive exploration of graphs that integrates advanced graph mining methods in an interactive visualization framework. The tool enables efficient explorat...
145
click to vote
SLOGICA
2010
15 years 4 months ago
2010
Abstract. Representing an epistemic situation involving several agents obviously depends on the modeling point of view one takes. We start by identifying the types of modeling poin...
162
click to vote
SWARM
2010
SPRINGER
15 years 4 months ago
2010
SPRINGER
Abstract. Inspired by observing fireworks explosion, a novel swarm intelligence algorithm, called Fireworks Algorithm (FA), is proposed for global optimization of complex function...
152
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
ly correct bijection between higher-order abstract syntax (HOAS) and the natural numbers enables one to define a "not equals" relationship between terms and also to have ...
185
click to vote
ECCV
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. This work focuses on characterizing scenery images. We semantically divide the objects in natural landscape scenes into background and foreground and show that the shapes...