7988 search results - page 156 / 1598 » A Useful Undecidable Theory |
ECAL
2007
Springer
14 years 2 months ago
2007
Springer
We identify two distinct themes in social science modelling. One, more specific, approach is that of social simulation which addresses how behaviour of many actors can lead to emer...
CCCG
2008
13 years 11 months ago
2008
This paper builds a general mathematical and algorithmic theory for balloon-twisting structures, from balloon animals to balloon polyhedra, by modeling their underlying graphs (ed...
COGSCI
2010
13 years 10 months ago
2010
This paper presents recent research that provides an overarching model of exemplar theory capable of explaining phenomena across the phonetic and syntactic strata. The model repre...
CORR
2008
Springer
13 years 10 months ago
2008
Springer
The seabed characterization from sonar images is a very hard task because of the produced data and the unknown environment, even for an human expert. In this work we propose an ori...
ENTCS
2006
13 years 10 months ago
2006
Runtime verification involves monitoring the system at runtime to check for conformance of the execution trace to user defined safety properties. Typically, run-time verifiers do ...