1532 search results - page 142 / 307 » The Symbol Grounding Problem |
135
Voted
ATVA
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Symbolic Trajectory Evaluation (STE) is a powerful technique for hardware model checking. It is based on a 3-valued symbolic simulation, using 0,1 and X n"), where t...
138
click to vote
AIMSA
2006
Springer
15 years 8 months ago
2006
Springer
For a multiagent system (MAS), coordination is the assumption that agents are able to adapt their behavior according to those of the other agents. The principle of Property Based C...
129
Voted
CIARP
2006
Springer
15 years 8 months ago
2006
Springer
Error correcting output codes (ECOC) represent a successful extension of binary classifiers to address the multiclass problem. Lately, the ECOC framework was extended from the bina...
119
click to vote
ICS
1995
Tsinghua U.
15 years 8 months ago
1995
Tsinghua U.
The elimination of induction variables and the parallelization of reductions in FORTRAN programs have been shown to be integral to performance improvement on parallel computers 7,...
133
click to vote
VLDB
1995
ACM
15 years 8 months ago
1995
ACM
Classification, which involves finding rules that partition a given da.ta set into disjoint groups, is one class of data mining problems. Approaches proposed so far for mining cla...