Search Sciweavers | Sciweavers

33

AI
2011
Springer

146views Artificial Intelligence» more AI 2011»

Instantiating abstract argumentation with classical logic arguments: Postulates and properties

13 years 3 months ago

ating Abstract Argumentation with Classical Logic Arguments: Postulates and Properties Nikos Gorogiannisa , Anthony Hunterb,∗ aDepartment of Computer Science, Queen Mary, Univers...

Nikos Gorogiannis, Anthony Hunter

claim paper

Read More »

22

click to vote

ENTCS
2006

135views more ENTCS 2006»

Initializing Mutually Referential Abstract Objects: The Value Recursion Challenge

13 years 8 months ago

Download research.microsoft.com

zing Mutually Referential Abstract Objects: The Value Recursion Challenge Don Syme 1 Microsoft Research, Cambridge, U.K. Mutual dependencies between objects arise frequently in pr...

Don Syme

claim paper

Read More »

34

click to vote

BMCBI
2008

91views more BMCBI 2008»

Presenting and exploring biological pathways with PathVisio

13 years 9 months ago

Download www.biomedcentral.com

nd: Biological pathways are a useful abstraction of biological concepts, and software tools to deal with pathway diagrams can help biological research. PathVisio is a new visualiz...

Martijn P. van Iersel, Thomas Kelder, Alexander R....

claim paper

Read More »

96

click to vote

News

1408views

Fly-over Method Provides Better Colonoscopy Visualization

15 years 10 months ago

Download spie.org

A new visualization technique for virtual colonoscopy helps the physician detect colon polyps by splitting a model of the colon into two halves and having a virtual camera ‘fly...

posted by msabry

Read More »

15

click to vote

DCC
2006
IEEE

104views Computer Graphics» more DCC 2006»

(6, 3)-MDS Codes over an Alphabet of Size 4

14 years 8 months ago

Download v5o5jotqkgfu3btr91t7w5fhzedjaoaz8igl.unbsj.ca

Abstract. An (n, k)q-MDS code C over an alphabet A (of size q) is a collection of qk n-tuples over A such that no two words of C agree in as many as

T. Alderson

claim paper