3515 search results - page 652 / 703 » On the semantics of Strategy Logic |
223
click to vote
BMCBI
2005
15 years 6 months ago
2005
: One of the most evident achievements of bioinformatics is the development of methods that transfer biological knowledge from characterised proteins to uncharacterised sequences. ...
210
Voted
AI
2000
Springer
15 years 6 months ago
2000
Springer
We show that global caching can be used with propagation of both satisfiability and unsatisfiability in a sound manner to give an EXPTIME algorithm for checking satisfiability w.r....
229
click to vote
SAC
2008
ACM
15 years 6 months ago
2008
ACM
The dominance of digital objects in today's information landscape has changed the way humankind creates and exchanges information. However, it has also brought an entirely ne...
223
click to vote
JAMIA
2010
15 years 1 months ago
2010
In 1997, the American Medical Informatics Association proposed a US information strategy that included a population health record (PopHR). Despite subsequent progress on the conce...
317
click to vote
POPL
2009
ACM
16 years 7 months ago
2009
ACM
ibe an abstract interpretation based framework for proving relationships between sizes of memory partitions. Instances of this framework can prove traditional properties such as m...