3116 search results - page 62 / 624 » Positively dependent types |
101
click to vote
CRV
2008
IEEE
15 years 1 months ago
2008
IEEE
Active camouflage is a technique for occluding objects disappear from the observer. Current implementations make assumptions on the viewpoints of both the observer and the camoufl...
103
click to vote
BMCBI
2008
14 years 12 months ago
2008
Background: Confidence in pairwise alignments of biological sequences, obtained by various methods such as Blast or Smith-Waterman, is critical for automatic analyses of genomic d...
126
click to vote
RECOMB
2005
Springer
16 years 5 days ago
2005
Springer
Transcriptional regulation is accomplished by several transcription factor proteins that bind to specific DNA elements in the relative vicinity of the gene, and interact with each ...
107
click to vote
SAC
2009
ACM
15 years 6 months ago
2009
ACM
Ubiquitous computing and service-oriented computing enable the development of a new trend of applications that can opportunely interact with services discovered in the surrounding...
SAT
2009
Springer
15 years 6 months ago
2009
Springer
Different quantifier types in Quantified Boolean Formulae (QBF) introduce variable dependencies which have to be taken into consideration when deciding satisfiability of a QBF....