1941 search results - page 376 / 389 » Reasoning about Computations Using Two-Levels of Logic |
179
click to vote
GIS
2008
ACM
16 years 25 days ago
2008
ACM
Geovisualization has traditionally played a critical role in analysis and decision-making, but recent developments have also brought a revolution in widespread online access to ge...
100
click to vote
DATE
2006
IEEE
15 years 3 months ago
2006
IEEE
- Many electronic systems contain implementations of cryptographic algorithms in order to provide security. It is well known that cryptographic algorithms, irrespective of their th...
130
click to vote
BMCBI
2006
14 years 11 months ago
2006
Background: Owing to the rapid expansion of RNA structure databases in recent years, efficient methods for structure comparison are in demand for function prediction and evolution...
BMCBI
2007
14 years 11 months ago
2007
Background: Gene expression measurements during the development of the fly Drosophila melanogaster are routinely used to find functional modules of temporally co-expressed genes. ...
JPDC
2006
14 years 11 months ago
2006
In the context of mobile communication, an efficient algorithm for the base-station placement problem is developed in this paper. The objective is to place a given number of base-...