2715 search results - page 8 / 543 » An Implementation of Narrowing Strategies |
APLAS
2006
ACM
14 years 1 months ago
2006
ACM
The abstract domain of polyhedra is sufficiently expressive to be deployed in verification. One consequence of the richness of this domain is that long, possibly infinite, sequen...
DEXAW
2000
IEEE
13 years 12 months ago
2000
IEEE
One of the key problems of recent years has been the divide between theoretical work in agent-based systems and its practical complement which have, to a large extent, developed a...
ECIS
2001
13 years 9 months ago
2001
The progression of implementation of an information systems strategy in a UK acute hospital is described. The case study describes the IS strategy, the conditions that led to its ...
PRESENCE
2002
13 years 7 months ago
2002
Turning strategies on the Sarcos Treadport, a linear treadmill locomotion interface, are developed and compared in a tight maneuvering task. A rate control strategy employing side...
ICASSP
2011
IEEE
12 years 11 months ago
2011
IEEE
In this paper we propose a novel corner detection algorithm using local adaptive thresholding and iterative approaching. First, a new metric is defined to measure the saliency of ...