696 search results - page 50 / 140 » Explaining abstract counterexamples |
116
click to vote
SYNTHESE
2008
15 years 3 months ago
2008
Abstract Stephen Read has presented an argument for the inconsistency of the concept of validity. We extend Read's results and show that this inconsistency is but one half of ...
108
Voted
AUSAI
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. In Minimum Message Length (MML) clustering (unsupervised classification, mixture modelling) the aim is to infer a set of classes that best explains the observed data ite...
120
Voted
IROS
2007
IEEE
15 years 9 months ago
2007
IEEE
Abstract— The greatest characteristic of soft-fingered manipulation is its softness and flexibility during manipulating operations. In previous works, this intrinsic property h...
103
click to vote
FSTTCS
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. We explain a double-category (of positions and plays) attached to the theory of HOgames (those with the so-called switching condition [7]) from which the category of aren...
136
click to vote
ILC
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. We aim at checking safety and temporal properties over models representing the behavior of programs manipulating dynamic singly-linked lists. The properties we consider n...