Sciweavers

4 search results - page 1 / 1
» ec 1994
Sort
View
10
Voted
EC
1994
94views ECommerce» more  EC 1994»
13 years 9 months ago
Electronic Commerce: An Overview
Nabil R. Adam, Yelena Yesha
AGP
1994
IEEE
13 years 9 months ago
What the Event Calculus actually does, and how to do it efficiently
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
SLP
1994
77views more  SLP 1994»
13 years 6 months ago
Modal Event Calculus
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
EC
1998
112views ECommerce» more  EC 1998»
13 years 4 months ago
DNA Computation: Theory, Practice, and Prospects
L. M. Adleman launched the field 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