1358 search results - page 118 / 272 » Proceedings |
120
click to vote
RECOMB
2001
Springer
15 years 8 months ago
2001
Springer
The primary structure of a ribonucleic acid (RNA) molecule is a sequence of nucleotides (bases) over the four-letter alphabet fA; C; G; Ug. The secondary or tertiary structure of ...
130
Voted
TACS
2001
Springer
15 years 8 months ago
2001
Springer
We give a logic programming language based on Fiore, Plotkin and Turi’s binding algebras. In this language, we can use not only first-order terms but also terms involving variab...
159
click to vote
ACSAC
2000
IEEE
15 years 8 months ago
2000
IEEE
Viruses remain a significant threat to modern networked computer systems. Despite the best efforts of those who develop anti-virus systems, new viruses and new types of virus that...
111
click to vote
ICPR
2000
IEEE
15 years 8 months ago
2000
IEEE
This paper presents a new method for the incremental integration of overlapped range images. It is assumed thatframe transformations between all pairs of views can be reliably com...
163
click to vote
SP
2000
IEEE
15 years 8 months ago
2000
IEEE
We address the goal of making Delegation Logic (DL) into a practically implementable and tractable trustmanagement system. DL [22] is a logic-based knowledge representation (i.e.,...