640 search results - page 99 / 128 » Semantic Relations: Modelling Issues, Proposals and Possible... |
TPHOL
2003
IEEE
14 years 20 days ago
2003
IEEE
This paper addresses the crucial issue in the design of a proof development system of how to deal with partial functions and the related question of how to treat undefined terms. ...
BMCBI
2011
12 years 11 months ago
2011
Background: Copy number aberrations (CNAs) are an important molecular signature in cancer initiation, development, and progression. However, these aberrations span a wide range of...
ICMCS
2009
IEEE
13 years 5 months ago
2009
IEEE
Augmented Virtual Environments(AVE) are very effective in the application of surveillance, in which multiple video streams are projected onto a 3D urban model for better visualiza...
JFP
2000
13 years 7 months ago
2000
Indeterminism is typical for concurrent computation. If several concurrent actors compete for the same resource then at most one of them may succeed, whereby the choice of the suc...
FSTTCS
2008
Springer
13 years 8 months ago
2008
Springer
We survey determinacy, definability, and complexity issues of Banach-Mazur games on finite and infinite graphs. Infinite games where two players take turns to move a token thro...