Sciweavers

9532 search results - page 353 / 1907
» Logic, Graphs, and Algorithms
Sort
View
159
Voted
IJCAI
2007
15 years 8 months ago
A Labeling Approach to the Computation of Credulous Acceptance in Argumentation
In recent years, the combinatorics of argumentation with arguments that can attack each other has been studied extensively. Especially, attack graphs (put in the focus of attentio...
Bart Verheij
APVIS
2001
15 years 8 months ago
Building Virtual Worlds with the Big-Bang Model
Visualisations implemented as virtual worlds can allow users to comprehend large graphs more effectively. Good 3D layout algorithms are an important element. Angle has been develo...
Neville Churcher, Alan Creek
CORR
2004
Springer
122views Education» more  CORR 2004»
15 years 6 months ago
Simple Distributed Weighted Matchings
Wattenhofer et al. [WW04] derive a complicated distributed algorithm to compute a weighted matching of an arbitrary weighted graph, that is at most a factor 5 away from the maximu...
Jaap-Henk Hoepman
ISPD
2003
ACM
88views Hardware» more  ISPD 2003»
15 years 12 months ago
Synthesis and placement flow for gain-based programmable regular fabrics
In this paper we present the Gain-based Logic Block Array (GLA), a new via-programmable regular fabric. GLA is an array of Gainbased Logic Blocks (GLBs). The GLB is a semi-univers...
Bo Hu, Hailin Jiang, Qinghua Liu, Malgorzata Marek...
CIC
2004
101views Communications» more  CIC 2004»
15 years 8 months ago
Lexicons in TIL and Verb Valency Frames
Abstract--The types of lexicons necessary for Transparent Intensional Logic (TIL) logical analysis will be described. We will show the algorithm for analysing the TIL verbal object...
Ales Horák, Karel Pala