6274 search results - page 846 / 1255 » Proofs, Programs, Processes |
148
click to vote
IADIS
2004
15 years 6 months ago
2004
The top-down implementation of information and communication technology does not guarantee necessary organizational change in e-learning and virtual enterprises. The delivery of o...
182
click to vote
PPSC
2001
15 years 6 months ago
2001
Crew pairing generation is a time consuming part of the complex process of airline crew scheduling. We present a parallel algorithm for this problem's solution and several im...
140
click to vote
AAAI
1998
15 years 6 months ago
1998
Probabilistic planning algorithms seek e ective plans for large, stochastic domains. maxplan is a recently developed algorithm that converts a planning problem into an E-Majsat pr...
143
click to vote
SPLC
2000
15 years 6 months ago
2000
: We consider a set of programs a family when it pays to look at their common aspects before looking at their differences. For commercial software developers the implications are t...
178
click to vote
CIDR
2009
15 years 6 months ago
2009
Data consistency is very desirable because strong semantic properties make it easier to write correct programs that perform as users expect. However, there are good reasons why co...