Sciweavers

2432 search results - page 135 / 487
» Degrees and choice numbers
Sort
View
CIE
2007
Springer
16 years 17 days ago
A Useful Undecidable Theory
Abstract. We show that many so called discrete weak semilattices considered earlier in a series of author’s publications have hereditary undecidable first-order theories. Since ...
Victor L. Selivanov
CONTEXT
2007
Springer
16 years 16 days ago
Context-Sensitivity of Human Memory: Episode Connectivity and Its Influence on Memory Reconstruction
This paper is testing a DUAL-based model of memory. The model assumes decentralized representation of episodes as a coalition of agents and analogical transfer processes as the bas...
Boicho N. Kokinov, Georgi Petkov, Nadezhda Petrova
ER
2007
Springer
279views Database» more  ER 2007»
16 years 16 days ago
SimEval - A Tool for Evaluating the Quality of Similarity Functions
Approximate data matching applications typically use similarity functions to quantify the degree of likeness between two data instances. There are several similarity functions ava...
Carlos A. Heuser, Francisco N. A. Krieser, Viviane...
ICRA
2006
IEEE
100views Robotics» more  ICRA 2006»
16 years 12 days ago
Learning EMG Control of a Robotic Hand: Towards Active Prostheses
— We introduce a method based on support vector machines which can detect opening and closing actions of the human thumb, index finger, and other fingers recorded via surface E...
Sebastian Bitzer, P. Patrick van der Smagt
AUSAI
2005
Springer
15 years 12 months ago
A Virtual Prolog Approach to Implementing Beliefs, Desires and Intentions in Animat Agents
Simulating a system of agents that navigate in a physical space is a challenging problem when the environment is sophisticated and the number of agents involved is large. We descr...
Kenneth A. Hawick, Heath A. James, C. J. Scogings