6750 search results - page 908 / 1350 » Performance Analysis Framework for Layout Analysis Methods |
171
click to vote
FMCAD
2009
Springer
15 years 10 months ago
2009
Springer
Abstract--The theory of arrays is ubiquitous in the context of software and hardware verification and symbolic analysis. The basic array theory was introduced by McCarthy and allow...
160
click to vote
FCCM
2004
IEEE
15 years 10 months ago
2004
IEEE
This paper presents a method that offers a uniform treatment for bit-width optimisation of both fixed-point and floating-point designs. Our work utilises automatic differentiation...
152
click to vote
ECTEL
2006
Springer
15 years 10 months ago
2006
Springer
The paper presents an evaluation method for e-learning platforms, based on different types of measurements collected in logs of interactions during learning sessions, and on the an...
127
click to vote
FPL
1995
Springer
15 years 10 months ago
1995
Springer
Although the energy required to perform a logic operation has continuously dropped at least by ten orders of magnitude since early vacuumtube electronics [1], the increasing clock ...
138
click to vote
ICRA
1995
IEEE
15 years 10 months ago
1995
IEEE
— Few robot tasks require as forceful an interaction with the world as excavation. In order to effectively plan its actions, our robot excavator requires a method that allows it ...