1734 search results - page 144 / 347 » its 2000 |
157
click to vote
ICALP
2000
Springer
15 years 9 months ago
2000
Springer
We explain how recent developments in game semantics can be applied to reasoning about equivalence of terms in a non-trivial fragment of Idealized Algol (IA) by expressing sets of ...
167
click to vote
ICALP
2000
Springer
15 years 9 months ago
2000
Springer
We establish that the algorithmic complexity of the minimum spanning tree problem is equal to its decision-tree complexity. Specifically, we present a deterministic algorithm to fi...
167
click to vote
ICMCS
2000
IEEE
15 years 9 months ago
2000
IEEE
A cyber-character is a kind of artificial life inhabiting a virtual world. To be a life form in the virtual world, cyber characters need sensors and control systems. The sensor sy...
147
click to vote
ICPR
2000
IEEE
15 years 9 months ago
2000
IEEE
The most accurate methods for automatic classification of chromosomes under a light microscope today extract numerical features from band-pattern profiles along their longitudinal...
162
click to vote
ICPR
2000
IEEE
15 years 9 months ago
2000
IEEE
This paper presents biological evidence for camouflage breaking using the convexity of the intensity function. Some animals use apatetic coloring especially to prevent their detec...