Sciweavers

4211 search results - page 616 / 843
» Types as Abstract Interpretations
Sort
View
PKDD
2010
Springer
152views Data Mining» more  PKDD 2010»
15 years 4 months ago
CET: A Tool for Creative Exploration of Graphs
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...
Stefan Haun, Andreas Nürnberger, Tobias K&oum...
SLOGICA
2010
97views more  SLOGICA 2010»
15 years 4 months ago
An Internal Version of Epistemic Logic
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...
Guillaume Aucher
SWARM
2010
SPRINGER
420views Optimization» more  SWARM 2010»
15 years 4 months ago
Fireworks Algorithm for Optimization
Abstract. Inspired by observing fireworks explosion, a novel swarm intelligence algorithm, called Fireworks Algorithm (FA), is proposed for global optimization of complex function...
Ying Tan, Yuanchun Zhu
CORR
2010
Springer
65views Education» more  CORR 2010»
15 years 4 months ago
Generating Bijections between HOAS and the Natural Numbers
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 ...
John Tang Boyland
ECCV
2010
Springer
15 years 4 months ago
Non-local Characterization of Scenery Images: Statistics, 3D Reasoning, and a Generative Model
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...
Tamar Avraham, Michael Lindenbaum