249 search results - page 30 / 50 » Conformational analysis: A new approach by means of chemomet... |
110
click to vote
GIS
2000
ACM
14 years 11 months ago
2000
ACM
The advancement of GIS data models to allow the eOEective utilization of very large heterogeneous geographic databases requires a new approach that incorporates models of human cog...
130
click to vote
POPL
2011
ACM
14 years 2 months ago
2011
ACM
We describe a new algorithm for proving temporal properties expressed in LTL of infinite-state programs. Our approach takes advantage of the fact that LTL properties can often be...
114
click to vote
BMCBI
2006
14 years 12 months ago
2006
Background: Whole genome sequence data is a step towards generating the 'parts list' of life to understand the underlying principles of Biocomplexity. Genome sequencing ...
116
click to vote
CIKM
2007
Springer
15 years 6 months ago
2007
Springer
As a promising new technology with the unique properties like high efficiency, scalability and fault tolerance, Peer-toPeer (P2P) technology is used as the underlying network to b...
131
click to vote
AOSD
2008
ACM
15 years 1 months ago
2008
ACM
Aspect-oriented software presents new challenges for the designers of static analyses. Our work aims to establish systematic foundations for dataflow analysis of AspectJ software....