555 search results - page 81 / 111 » Between Symbol and Language-in-use |
CAV
2004
Springer
15 years 5 months ago
2004
Springer
The logic of equality with uninterpreted functions (EUF) and its extensions have been widely applied to processor verification, by means of a large variety of progressively more s...
SAC
2003
ACM
15 years 5 months ago
2003
ACM
Survey coding is the task of assigning a symbolic code from a predefined set of such codes to the answer given in response to an open-ended question in a questionnaire (aka surve...
122
click to vote
FGR
2002
IEEE
15 years 4 months ago
2002
IEEE
In this paper, we propose a fast and robust method for tracking a user’s hand and multiple fingertips; we then demonstrate gesture recognition based on measured fingertip traj...
109
click to vote
GECCO
2010
Springer
15 years 4 months ago
2010
Springer
The original mechanism by which evolutionary algorithms were to solve problems was to allow for the gradual discovery of sub-solutions to sub-problems, and the automated combinati...
ER
2009
Springer
15 years 4 months ago
2009
Springer
Ontological metamodeling or multilevel-modeling refers to ng complex domains at multiple levels of abstraction, especially in domains where the borderline between individuals and c...