1536 search results - page 296 / 308 » On the Relation between Interpreted Systems and Kripke Model... |
EJC
2008
13 years 9 months ago
2008
The notion of a fragment was coined by Montague 1974 to illustrate the formal handling of certain puzzles, such as de dicto/de re, in a truth-conditional semantics for natural lan...
MKWI
2008
13 years 9 months ago
2008
Abstract: The economic relevance of IT risk is increasing due to various operational, technical as well as regulatory reasons. Increasing flexibility of business processes and risi...
CDC
2009
IEEE
13 years 11 months ago
2009
IEEE
The central task of current profile control during the ramp-up phase of a tokamak discharge is to find the actuator trajectories that are necessary to achieve certain desired curre...
SPIESR
2003
13 years 8 months ago
2003
One of the major challenges facing current media management systems and related applications is the so-called ‘‘semantic gap’’ between the rich meaning that a user desires...
BMCBI
2008
13 years 7 months ago
2008
Background: Availability of information about transcription factors (TFs) is crucial for genome biology, as TFs play a central role in the regulation of gene expression. While man...