Sciweavers

1011 search results - page 147 / 203
» The three dimensions of proofs
Sort
View
ATAL
2008
Springer
15 years 8 months ago
Force Versus Majority: A Comparison in Convention Emergence Efficiency
In open societies such as multi-agent systems, it is important that coordination among the several actors is achieved efficiently. One economical way of capturing that aspiration ...
Paulo Urbano, João Balsa, Luis Antunes, Lu&...
DEXA
2006
Springer
126views Database» more  DEXA 2006»
15 years 8 months ago
Hypersphere Indexer
Indexing high-dimensional data for efficient nearest-neighbor searches poses interesting research challenges. It is well known that when data dimension is high, the search time can...
Navneet Panda, Edward Y. Chang, Arun Qamra
CSSE
2008
IEEE
15 years 8 months ago
The Design and Implementation of Ontology and Rules Based Knowledge Base for Transportation
: The traditional transportation information inquiry mainly uses key words based on the text, and the service the inquiry system provided is onefold and only aims at one transporti...
Gang Cheng, Qingyun Du, Hongli Ma
APVIS
2007
15 years 7 months ago
GraphScape: integrated multivariate network visualization
In this paper, we introduce a new method, GraphScape, to visualize multivariate networks, i.e., graphs with multivariate data associated with their nodes. GraphScape adopts a land...
Kai Xu 0003, Andrew Cunningham, Seok-Hee Hong, Bru...
DAGSTUHL
2010
15 years 7 months ago
Towards Automatic Feature-based Visualization
Visualizations are well suited to communicate large amounts of complex data. With increasing resolution in the spatial and temporal domain simple imaging techniques meet their lim...
Heike Jänicke, Gerik Scheuermann