Sciweavers

20294 search results - page 3682 / 4059
» Algorithmic Information Theory
Sort
View
APVIS
2009
15 years 8 months ago
A hybrid space-filling and force-directed layout method for visualizing multiple-category graphs
Many graphs used in real-world applications consist of nodes belonging to more than one category. We call such graph "multiplecategory graphs". Social networks are typic...
Takayuki Itoh, Chris Muelder, Kwan-Liu Ma, Jun Ses...
ADBIS
2010
Springer
333views Database» more  ADBIS 2010»
15 years 8 months ago
Horizontal Partitioning by Predicate Abstraction and Its Application to Data Warehouse Design
al Partitioning by Predicate Abstraction and its Application to Data Warehouse Design Aleksandar Dimovski1 , Goran Velinov2 , and Dragan Sahpaski2 1 Faculty of Information-Communic...
Aleksandar Dimovski, Goran Velinov, Dragan Sahpask...
161
Voted
ATAL
2010
Springer
15 years 8 months ago
Reasoning about strategies of multi-agent programs
Verification of multi-agent programs is a key problem in agent research and development. This paper focuses on multi-agent programs that consist of a finite set of BDI-based agent...
Mehdi Dastani, Wojciech Jamroga
ATAL
2010
Springer
15 years 8 months ago
Augmenting appearance-based localization and navigation using belief update
Appearance-based localization compares the current image taken from a robot's camera to a set of pre-recorded images in order to estimate the current location of the robot. S...
George Chrysanthakopoulos, Guy Shani
CEC
2010
IEEE
15 years 8 months ago
Dynamic multi-swarm particle swarm optimizer with sub-regional harmony search
In this paper, the dynamic multi-swarm particle swarm optimizer (DMS-PSO) and a sub-regional harmony search (SHS) are hybridized to obtain DMS-PSO-SHS. A Modified multi-trajectory ...
Shi-Zheng Zhao, Ponnuthurai Nagaratnam Suganthan, ...
« Prev « First page 3682 / 4059 Last » Next »