4693 search results - page 244 / 939 » Verifying Hybrid Systems |
176
click to vote
BMCBI
2010
15 years 6 months ago
2010
Background: In recent years, Data Mining technology has been applied more than ever before in the field of traditional Chinese medicine (TCM) to discover regularities from the exp...
174
click to vote
IPPS
2002
IEEE
15 years 11 months ago
2002
IEEE
A natural trend in most of the engineering disciplines is the construction of systems from components. This has the potential to reduce costs and increase reliability, provided th...
175
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. Relay attacks are a major concern for RFID systems: during an authentication process an adversary transparently relays messages between a verifier and a remote legitimate...
157
click to vote
SIGIR
2006
ACM
16 years 16 days ago
2006
ACM
We present a new family of hybrid index maintenance strategies to be used in on-line index construction for monotonically growing text collections. These new strategies improve up...
191
click to vote
CHI
1999
ACM
15 years 11 months ago
1999
ACM
Thispaper describes our design and implementation of a computer augmented environment that allows users to smoothly interchange digital information among their portable computers,...