5451 search results - page 574 / 1091 » Typed Operational Semantics |
158
click to vote
HCI
2007
15 years 8 months ago
2007
This paper explores how a ‘learning’ algorithm can be added to UGV’s by giving it the ability to test the terrain through ‘feeling’ using incorporated sensors, which woul...
163
Voted
CNIS
2006
15 years 8 months ago
2006
We present the design and a prototype of a lab course on computer security, the necessity of which arises from the students' need to complement course work by hands-on experi...
194
Voted
ESANN
2001
15 years 8 months ago
2001
In 1992 neurophysiologists [5] found an new type of cells in areas V1 and V2 of the monkey primary visual cortex, which they called grating cells. These cells respond vigorously to...
166
click to vote
UAI
2003
15 years 8 months ago
2003
We look at the problem of revising fuzzy belief bases, i.e., belief base revision in which both formulas in the base as well as revision-input formulas can come attached with varyi...
156
click to vote
AAAI
1997
15 years 8 months ago
1997
This paper describes an approach for representing and manipulating sequences in description logics (DLs). The key idea is to represent sequences using sux trees, then represent t...