3457 search results - page 415 / 692 » A Symbol Is Not a Symbol |
190
click to vote
ICECCS
2002
IEEE
15 years 11 months ago
2002
IEEE
The characteristics of object-oriented software affect type and relevance of faults. In particular, the state of the objects may cause faults that cannot be easily revealed with t...
141
click to vote
ICRA
2002
IEEE
15 years 11 months ago
2002
IEEE
Most physically implemented multi-robot controllers are based on extensions of behavior-based systems. While efficient, such techniques suffer from weak representational power. Sy...
166
click to vote
ICTAI
2002
IEEE
15 years 11 months ago
2002
IEEE
Neurules are a kind of hybrid rules that combine a symbolic (production rules) and a connectionist (adaline unit) representation. Each neurule is represented as an adaline unit. O...
157
click to vote
SCAM
2002
IEEE
15 years 11 months ago
2002
IEEE
Tools that analyze and enhance large-scale software systems using symbolic reasoning are computationally expensive, and yet processors are cheap. We believe that enabling tools wi...
169
click to vote
TIME
2002
IEEE
15 years 11 months ago
2002
IEEE
In this paper, we propose a logical approach to represent and reason about different time granularities. We identify a time granularity as a discrete infinite sequence of time po...