9405 search results - page 235 / 1881 » Computing a Model of Set Theory |
124
click to vote
CALCO
2009
Springer
15 years 11 months ago
2009
Springer
d abstract) Sam Staton Computer Laboratory, University of Cambridge Abstract. A labelled transition system can be understood as a coalgebra for a particular endofunctor on the cate...
126
click to vote
AINA
2007
IEEE
15 years 8 months ago
2007
IEEE
Many Ubiquitous computing applications can be considered as planning and acting problems in environments characterised by uncertainty and partial observability. Such systems rely ...
131
click to vote
ICCSA
2007
Springer
15 years 10 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...
122
click to vote
TC
2002
15 years 4 months ago
2002
Abstract-- Current systems are very often based on largescale, unpredictable and unreliable infrastructures. However, users of these systems increasingly require services with time...
149
click to vote
BIOINFORMATICS
2012
13 years 6 months ago
2012
Summary: The MolClass toolkit and data portal generates computational models from user-defined small molecule datasets based on structural features identified in hit and non-hit m...