3690 search results - page 249 / 738 » Computation with classical sequents |
121
Voted
CSL
2003
Springer
15 years 6 months ago
2003
Springer
For a fixed countable homogeneous relational structure Γ we study the computational problem whether a given finite structure of the same signature homomorphically maps to Γ. T...
GECCO
2003
Springer
15 years 6 months ago
2003
Springer
We demonstrate the emergence of collective behavior in two evolutionary computation systems, one an evolutionary extension of a classic (highly constrained) flocking algorithm and...
67
Voted
CLUSTER
2002
IEEE
15 years 5 months ago
2002
IEEE
In this paper, we describe the use of a cluster as a generalized facility for development. A development facility is a system used primarily for testing and development activities...
92
Voted
DSN
2002
IEEE
15 years 5 months ago
2002
IEEE
A masquerade attack, in which one user impersonates another, can be the most serious form of computer abuse. Automatic discovery of masqueraders is sometimes undertaken by detecti...
99
Voted
WACV
2002
IEEE
15 years 5 months ago
2002
IEEE
Skin detection is an important process in many of computer vision algorithms. It usually is a process that starts at a pixel-level, and that involves a pre-process of colorspace t...