Search Sciweavers | Sciweavers

4 search results - page 1 / 1

» ec 1994

click to vote

EC
1994

94views ECommerce» more EC 1994»

Electronic Commerce: An Overview

14 years 2 months ago

Download www.cs.uu.nl

Nabil R. Adam, Yelena Yesha

claim paper

Read More »

click to vote

AGP
1994
IEEE

115views Artificial Intelligence» more AGP 1994»

What the Event Calculus actually does, and how to do it efficiently

14 years 3 months ago

Download www.qatar.cmu.edu

Kowalski and Sergot's Event Calculus (EC) is a formalism for reasoning about time and change in a logic programming framework. From a description of events which occur in the...

Iliano Cervesato, Luca Chittaro, Angelo Montanari

claim paper

Read More »

click to vote

SLP
1994

77views more SLP 1994»

Modal Event Calculus

14 years 5 days ago

Download users.dimi.uniud.it

We consider a hierarchy of modal event calculi to represent and reason about partially ordered events. These calculi are based on the model of time and change of Kowalski and Sergo...

Iliano Cervesato, Luca Chittaro, Angelo Montanari

claim paper

Read More »

click to vote

EC
1998

112views ECommerce» more EC 1998»

DNA Computation: Theory, Practice, and Prospects

13 years 10 months ago

Download mitpress.mit.edu

L. M. Adleman launched the ﬁeld of DNA computing with a demonstration in 1994 that strands of DNA could be used to solve the Hamiltonian path problem for a simple graph. He also...

Carlo C. Maley

claim paper

Read More »

« Prev « First page 1 / 1 Last » Next »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers