555 search results - page 81 / 111 » Between Symbol and Language-in-use |
CAV
2004
Springer
14 years 1 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
14 years 28 days 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...
FGR
2002
IEEE
14 years 19 days 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...
GECCO
2010
Springer
14 years 15 days 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
14 years 9 days 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...