5165 search results - page 93 / 1033 » Consistency of the Neighbor-Net Algorithm |
124
click to vote
FOIKS
2008
Springer
2008
Springer
Algorithms for Effective Argumentation in Classical Propositional Logic: A Connection Graph Approach
15 years 4 months ago
There are a number of frameworks for modelling argumentation in logic. They incorporate a formal representation of individual arguments and techniques for comparing conflicting arg...
118
Voted
VISUALIZATION
1995
IEEE
15 years 6 months ago
1995
IEEE
We present an algorithm that accelerates the extraction of iso-surfaces from unstructured grids by avoiding the traversal of the entire set of cells in the volume. The algorithm c...
136
click to vote
FGCS
2010
15 years 1 months ago
2010
In a distributed system where scalability is an issue, like in a GRID [5], the problem of enforcing mutual exclusion often arises in a soft form: the infrequent failure of the mut...
122
click to vote
CORR
2010
Springer
14 years 12 months ago
2010
Springer
We present a sensor network testbed that monitors a hallway. It consists of 120 load sensors and 29 passive infrared sensors (PIRs), connected to 30 wireless sensor nodes. There ar...
105
click to vote
ICIP
2007
IEEE
16 years 4 months ago
2007
IEEE
Discrete tomography (DT) is concerned with the tomographic reconstruction of images that consist of only a small number of gray levels. DT reconstruction problems are usually unde...