608 search results - page 66 / 122 » The Expressive Power of Simple Parallelism |
LMCS
2007
14 years 9 months ago
2007
Higher-Order Fixpoint Logic (HFL) is a hybrid of the simply typed λ-calculus and the modal µ-calculus. This makes it a highly expressive temporal logic that is capable of express...
106
click to vote
BMCBI
2004
14 years 9 months ago
2004
Background: A major goal of cancer research is to identify discrete biomarkers that specifically characterize a given malignancy. These markers are useful in diagnosis, may identi...
GLOBECOM
2009
IEEE
15 years 4 months ago
2009
IEEE
—This paper analyzes the carrier-to-interference ratio of the so-called shotgun cellular system (SCS). In the SCS, basestations are placed randomly according to a two-dimensional...
MHCI
2009
Springer
15 years 4 months ago
2009
Springer
In their role as personal communication devices, mobile phones are a natural choice for sharing and communicating emotions. However, their functionalities are currently very limit...
ECAI
2004
Springer
15 years 3 months ago
2004
Springer
Knowledge-based programs (KBPs) are a powerful notion for expressing action policies in which branching conditions refer to implicit knowledge and call for a deliberation task at e...