4328 search results - page 725 / 866 » A New Kind of Science |
162
click to vote
ICCSA
2007
Springer
16 years 16 days 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...
183
click to vote
MFCS
2007
Springer
16 years 16 days ago
2007
Springer
In formal language theory, many families of languages are defined using grammars or finite acceptors like pushdown automata and Turing machines. For instance, context-sensitive l...
177
click to vote
SARA
2007
Springer
16 years 15 days ago
2007
Springer
Though there exist some rules of thumb for design of good models for solving constraint satisfaction problems, the modeling process still belongs more to art than to science. Moreo...
171
click to vote
SEMWEB
2007
Springer
16 years 15 days ago
2007
Springer
SMART (Semantic web information Management with automated Reasoning Tool) is an open-source project, which aims to provide intuitive tools for life scientists for represent, integr...
159
click to vote
ESCIENCE
2006
IEEE
16 years 13 days ago
2006
IEEE
TextGrid is a new Grid project in the framework of the German D-Grid initiative, with the aim to deploy Grid technologies for humanities scholars working on historical (German) te...