2519 search results - page 428 / 504 » Reasoning with Textual Cases |
117
click to vote
BMCBI
2008
15 years 4 months ago
2008
Background: The study of protein-protein interactions is becoming increasingly important for biotechnological and therapeutic reasons. We can define two major areas therein: the s...
175
click to vote
CAD
2010
Springer
15 years 4 months ago
2010
Springer
Augmented Reality (AR) has been acclaimed as one of the promising technologies for advancing future UbiComp (Ubiquitous Computing) environments. Despite a myriad of AR application...
163
click to vote
COMCOM
2008
15 years 4 months ago
2008
A new kind of ad hoc network is hitting the streets: Vehicular Ad Hoc Networks (VANets). In these networks, vehicles communicate with each other and possibly with a roadside infra...
138
click to vote
BMCBI
2006
15 years 4 months ago
2006
Background: Microarray technology produces gene expression data on a genomic scale for an endless variety of organisms and conditions. However, this vast amount of information nee...
154
click to vote
IANDC
2008
15 years 4 months ago
2008
We are interested in the design of automated procedures for analyzing the (in)security of cryptographic protocols in the Dolev-Yao model for a bounded number of sessions when we t...