Sciweavers

1916 search results - page 19 / 384

» Reasoning with class algebra

96

ENTCS
2007

97views more ENTCS 2007»

A Process Algebra for Reasoning About Quantum Security

15 years 3 months ago

A Process Algebra for Reasoning About Quantum Security

Download www.mscs.dal.ca

Pedro Adão, Paulo Mateus

claim paper

Read More »

86

Voted

JISE
2007

44views more JISE 2007»

Video Algebra for Spatio-Temporal Reasoning of Iconic Videos Represented in 3D C-string

15 years 3 months ago

Video Algebra for Spatio-Temporal Reasoning of Iconic Videos Represented in 3D C-string

Download www.iis.sinica.edu.tw

Anthony J. T. Lee, Ping Yu, Han-Pang Chiu, Hsiu-Hu...

claim paper

Read More »

103

Voted

EUSFLAT
2009

136views Fuzzy Logic» more EUSFLAT 2009»

A process Algebra Approach to Fuzzy Reasoning

15 years 1 months ago

A process Algebra Approach to Fuzzy Reasoning

Download www.sti.uniurb.it

Liliana D'Errico, Michele Loreti

claim paper

Read More »

82

AAAI
2011

129views Intelligent Agents» more AAAI 2011»

An Algebraic Prolog for Reasoning about Possible Worlds

14 years 3 months ago

An Algebraic Prolog for Reasoning about Possible Worlds

Download lirias.kuleuven.be

Angelika Kimmig, Guy Van den Broeck, Luc De Raedt

claim paper

Read More »

167

WIFT
1998
IEEE

153views Hardware» more WIFT 1998»

Reasoning with UML Class Diagrams

15 years 8 months ago

Reasoning with UML Class Diagrams

Download www.cs.york.ac.uk

The Unified Modeling Language (UML) is likely to become an important industry standard language for modelling object-oriented systems. However, its use as a precise analysis tool ...

Andy S. Evans

claim paper

Read More »

« Prev « First page 19 / 384 Last » Next »