144 search results - page 18 / 29 » informaticalt 2006 |
INFORMATICALT
2010
14 years 8 months ago
2010
The genetic information in cells is stored in DNA sequences, represented by a string of four letters, each corresponding to a deļ¬nite type of nucleotides. Genomic DNA sequences a...
INFORMATICALT
2010
14 years 8 months ago
2010
The DPLL procedure for the SAT problem is one of the fundamental algorithms in computer science, with many applications in a range of domains, including software and hardware veriļ...
INFORMATICALT
2010
14 years 8 months ago
2010
The paper addresses the over-saturated protein spot detection and extraction problem in two-dimensional electrophoresis gel images. The effective technique for detection and recons...
INFORMATICALT
2010
14 years 8 months ago
2010
One of the major activities in software design is deļ¬ning software architecture. Before designing software structure and software behavior we have to deļ¬ne its architecture. In...
74
Voted
INFORMATICALT
2006
14 years 9 months ago
2006
In this paper we consider two logics: temporal logic of common knowledge and temporal logic of common belief. These logics involve the discrete time linear temporal logic operators...