2954 search results - page 39 / 591 » Beyond |
CSR
2007
Springer
14 years 3 months ago
2007
Springer
We propose a simple modification of a well-known Random Walk algorithm for solving the Satisfiability problem and analyze its performance on random CNFs with a planted solution. ...
DEXA
2007
Springer
14 years 3 months ago
2007
Springer
XML has become the standard format for data representation and exchange in domains ranging from Web to desktop applications. However, wide adoption of XML is hindered by inefficien...
GI
2007
Springer
14 years 3 months ago
2007
Springer
: We report on a project that demonstrates how fieldtrips can be structured and delivered in novel ways, and how they can extend the range of curricula that can be addressed – in...
ICCSA
2007
Springer
14 years 3 months ago
2007
Springer
Computational origami is the computer assisted study of origami as a branch of science of shapes. The origami construction is a countably finite sequence of fold steps, each consi...
ICFEM
2007
Springer
14 years 3 months ago
2007
Springer
Simulink is popular in industry for modeling and simulating embedded systems. It is deficient to handle requirements of high-level assurance and timing analysis. Previously, we sh...