2061 search results - page 281 / 413 » Authorization for Metacomputing Applications |
121
click to vote
GLVLSI
2003
IEEE
15 years 9 months ago
2003
IEEE
The MINCE heuristic for variable-ordering [1] successfully reduces the size of BDDs and can accelerate SAT-solving. Applications to reachability analysis have also been successful...
142
click to vote
HICSS
2003
IEEE
15 years 9 months ago
2003
IEEE
This paper employs the analysis of an interpretive case study within a Regional Train Operating Company (RTOC) to arrive at theoretical understandings of Information Systems (IS)....
123
click to vote
ICDCSW
2003
IEEE
15 years 9 months ago
2003
IEEE
The university campus is an interesting application environment for the ubiquitous computing paradigm: a large number of users share a substantial amount of their information need...
130
Voted
ICTAI
2003
IEEE
2003
IEEE
Genetic Algorithm Calibration of Probabilistic Cellular Automata for Modeling Mining Permit Activity
15 years 9 months ago
We use a genetic algorithm to calibrate a spatially and temporally resolved cellular automata to model mining activity on public land in Idaho and western Montana. The genetic alg...
134
click to vote
ICTAI
2003
IEEE
15 years 9 months ago
2003
IEEE
Conflict analysis is a powerful paradigm of backtrack search algorithms, in particular for solving satisfiability problems arising from practical applications. Accordingly, most...