3338 search results - page 282 / 668 » Assigning Papers to Referees |
172
Voted
ICRA
1998
IEEE
15 years 11 months ago
1998
IEEE
In this paper we describe an unsupervised robot learning method which is based on the robot learning a mapping between sensors and trajectory velocities. This enables the robot to...
175
click to vote
TLCA
1999
Springer
15 years 11 months ago
1999
Springer
In this paper we present a strongly normalising cut-elimination procedure for classical logic. This procedure adapts Gentzen’s standard cut-reductions, but is less restrictive th...
149
click to vote
ITC
1998
IEEE
15 years 11 months ago
1998
IEEE
Existing high-level BIST synthesis methods focus on one objective, minimizing either area overhead or test time. Hence, those methods do not render exploration of large design spa...
153
click to vote
KBSE
1998
IEEE
15 years 11 months ago
1998
IEEE
In this paper we describe a tools environment which automates the validation and maintenance of a requirements model written in many-sorted first order logic. We focus on: a trans...
153
click to vote
ISLPED
1998
ACM
15 years 11 months ago
1998
ACM
- The objective of this paper is to provide lower and upper bounds for the switching activity on the state lines in Finite State Machines (FSMs). Using a Markov chain model for the...