Sciweavers

632 search results - page 80 / 127
» constraints 2000
Sort
View
ECAI
2000
Springer
15 years 2 months ago
Incremental Forward Checking for the Disjunctive Temporal Problem
Abstract. This paper studies algorithms for the Disjunctive Temporal Problem (DTP) a quite general temporal reasoning problem introduced in [12]. This problem involves the satisfac...
Angelo Oddi, Amedeo Cesta
ECWEB
2000
Springer
372views ECommerce» more  ECWEB 2000»
15 years 2 months ago
Mobile Electronic Commerce: Emerging Issues
Abstract. There are many definitions for Mobile Electronic Commerce (MCommerce). We define M-Commerce as any type of transaction of an economic value having at least at one end a m...
Aphrodite Tsalgatidou, Jari Veijalainen
ER
2000
Springer
116views Database» more  ER 2000»
15 years 1 months ago
On Business Process Model Transformations
A business process model represents the basic building block for a workflow-enabled enterprise information system. Generally, a process model evolves through numerous changes durin...
Wasim Sadiq, Maria E. Orlowska
ESA
2000
Springer
112views Algorithms» more  ESA 2000»
15 years 1 months ago
Resource Constrained Shortest Paths
The resource constrained shortest path problem (CSP) asks for the computation of a least cost path obeying a set of resource constraints. The problem is NP-complete. We give theore...
Kurt Mehlhorn, Mark Ziegelmann
EUROGP
2000
Springer
177views Optimization» more  EUROGP 2000»
15 years 1 months ago
Register Based Genetic Programming on FPGA Computing Platforms
The use of FPGA based custom computing platforms is proposed for implementing linearly structured Genetic Programs. Such a context enables consideration of micro architectural and ...
Malcolm I. Heywood, A. Nur Zincir-Heywood