Search Sciweavers | Sciweavers

2272 search results - page 168 / 455

» A Calculus for

143

click to vote

IJAR
2002

109views more IJAR 2002»

The application of the matrix calculus to belief functions

15 years 4 months ago

Download iridia0.ulb.ac.be

The mathematics of belief functions can be handled with the use of the matrix notation. This representation helps greatly the user thanks to its notational simplicity and its effi...

Philippe Smets

claim paper

Read More »

100

click to vote

ETAI
1998

79views more ETAI 1998»

Decision Theory, the Situation Calculus and Conditional Plans

15 years 4 months ago

Download www.cs.ubc.ca

David Poole

claim paper

Read More »

115

click to vote

CJ
1999

72views more CJ 1999»

Integrating a Program Design Calculus and a Subset of UML

15 years 4 months ago

Download www-users.cs.york.ac.uk

Richard F. Paige

claim paper

Read More »

105

click to vote

COLING
1999

111views Computational Linguistics» more COLING 1999»

Tree Adjoining Grammars in a Fragment of the Lambek Calculus

15 years 4 months ago

Download acl.ldc.upenn.edu

V. Michele Abrusci, Christophe Fouqueré, Ja...

claim paper

Read More »

103

click to vote

JFP
2002

94views more JFP 2002»

The lambda calculus is algebraic

15 years 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers