2346 search results - page 385 / 470 » Tactile Change Detection |
DEXA
2000
Springer
15 years 2 months ago
2000
Springer
The aim of this paper is to show a method that is able to detect a particular class of semantic inconsistencies in a rule-based system (RBS). A semantic inconsistency is defined by...
DAC
1999
ACM
15 years 2 months ago
1999
ACM
This paper describes a two-state methodology for register transfer level (RTL) logic simulation in which the use of the Xstate is completely eliminated inside ASIC designs. Exampl...
ICAIL
1999
ACM
15 years 2 months ago
1999
ACM
More and more legal information is available in electronic form, but traditional retrieval mechanisms are insufficient to answer questions and legal problems of most users. In the...
RTCSA
1999
IEEE
15 years 2 months ago
1999
IEEE
In this paper; we describe optimal algorithmsfor incorporating error recovery in the imprecise computation model. In that model eack task compriser a mandatory and an optional par...
VISUALIZATION
1999
IEEE
15 years 2 months ago
1999
IEEE
"Free Flight" will change today's air traffic control system by giving pilots increased flexibility to choose and modify their routes in real time, reducing costs a...