Sciweavers

194 search results - page 20 / 39
» SOA 2006: State Of The Art
Sort
View
IGPL
2000
152views more  IGPL 2000»
13 years 6 months ago
An Analysis of Empirical Testing for Modal Decision Procedures
Recent years have seen the emergence of a new generation of heavily-optimised modal decision procedures. Several systems based on such procedures are now available and have proved...
Ian Horrocks, Peter F. Patel-Schneider, Roberto Se...
IJMMS
2000
96views more  IJMMS 2000»
13 years 6 months ago
Calculators are needlessly bad
In the two decades hand-held calculators have been readily available there has been ample time to develop a usable design and to educate the consumer public into choosing quality d...
Harold W. Thimbleby
IJRR
2000
109views more  IJRR 2000»
13 years 6 months ago
Tactile Sensing: New Directions, New Challenges
Over the past three decades, tactile sensing has developed into a sophisticated technology. There has been a longstanding and widely held expectation that tactile sensors would ha...
Mark H. Lee
FMSD
2002
107views more  FMSD 2002»
13 years 6 months ago
Verification of Out-Of-Order Processor Designs Using Model Checking and a Light-Weight Completion Function
We present a new technique for verification of complex hardware devices that allows both generality andahighdegreeofautomation.Thetechniqueisbasedonournewwayofconstructinga"li...
Sergey Berezin, Edmund M. Clarke, Armin Biere, Yun...
RAS
2000
144views more  RAS 2000»
13 years 6 months ago
Robot navigation in the real world: : Experiments with Manchester's FortyTwo in unmodified, large environments
Mobile robot navigation under controlled laboratory conditions is, by now, state of the art and reliably achievable. To transfer navigation mechanisms used in such small-scale env...
Ulrich Nehmzow, Carl Owen