Sciweavers

5692 search results - page 3 / 1139
» Challenges and Unsolved Problems
Sort
View
PC
2006
87views Management» more  PC 2006»
13 years 6 months ago
GridSAT: a system for solving satisfiability problems using a computational grid
In this paper, we present GridSAT
Wahid Chrabakh, Richard Wolski
FOIS
2010
13 years 8 months ago
Constructing Bodies and their Qualities from Observations
The principle challenge for information semantics lies in the degrees of freedom to interpret symbols in terms of thoughts and experiences which leads to incompatible views on the ...
Simon Scheider, Florian Probst, Krzysztof Janowicz
FUIN
2002
113views more  FUIN 2002»
13 years 6 months ago
Cellular Automata and Intermediate Reachability Problems
Abstract. We exhibit one-dimensional cellular automata whose reachability and confluence problems have arbitrary r.e. degree of unsolvability.
Klaus Sutner
JPDC
1998
125views more  JPDC 1998»
13 years 6 months ago
Solving Large-Scale QAP Problems in Parallel with the Search Library ZRAM
Programlibraries are one tool to make the cooperation between specialists from various elds successful: the separation of application-speci c knowledge from applicationindependent...
Adrian Brüngger, Ambros Marzetta, Jens Clause...
JSC
2010
83views more  JSC 2010»
13 years 1 months ago
Computing differential characteristic sets by change of ordering
We describe an algorithm for converting a characteristic set of a prime differential ideal from one ranking into another. This algorithm was implemented in many different language...
François Boulier, François Lemaire, ...