BIBE
2001
IEEE
15 years 7 months ago
2001
IEEE
122
Voted
AUSAI
2003
Springer
15 years 7 months ago
2003
Springer
Abstract. Logics of knowledge have important applications for reasoning about security protocols and multi-agent systems. We extend the semantics for the logic of necessity with lo...
BIBE
2001
IEEE
15 years 7 months ago
2001
IEEE
144
Voted
BIBE
2001
IEEE
15 years 7 months ago
2001
IEEE
As various genome sequencing projects have already been completed or are near completion, genome researchers are shifting their focus from structural genomics to functional genomi...
137
Voted
BIBE
2001
IEEE
15 years 7 months ago
2001
IEEE
As the eXtensible Markup Language (XML) becomes a popular or standard language for exchanging data over the Internet/Web, there are a growing number of genome Web sites that make ...