103 search results - page 15 / 21 » Extensionality Versus Constructivity |
ISBI
2006
IEEE
15 years 10 months ago
2006
IEEE
Building of atlases representing average and variability of a population of images or of segmented objects is a key topic in application areas like brain mapping, deformable objec...
CHI
2006
ACM
15 years 10 months ago
2006
ACM
We present a study comparing usability testing of a single interface versus three functionally equivalent but stylistically distinct designs. We found that when presented with a s...
LICS
2005
IEEE
15 years 3 months ago
2005
IEEE
We investigate model theoretic characterisations of the expressive power of modal logics in terms of bisimulation invariance. The paradigmatic result of this kind is van Benthemâ€...
PASTE
2005
ACM
15 years 3 months ago
2005
ACM
Today, many formal analysis tools are not only used to provide certainty but are also used to debug software systems – a role that has traditional been reserved for testing tool...
COCO
2004
Springer
15 years 2 months ago
2004
Springer
The language compression problem asks for succinct descriptions of the strings in a language A such that the strings can be efficiently recovered from their description when given...