Sciweavers

632 search results - page 80 / 127
» constraints 2000
Sort
View
ECAI
2000
Springer
14 years 18 hour 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»
14 years 17 hour 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»
13 years 11 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»
13 years 11 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»
13 years 11 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