1669 search results - page 112 / 334 » Structured Specification of Model Interpreters |
170
click to vote
PODC
1990
ACM
15 years 7 months ago
1990
ACM
Abstract. We introduce a novel extension of propositional modal logic that is interpreted over Kripke structures in which a value is associated with every possible world. These val...
103
click to vote
COGSCI
2010
15 years 3 months ago
2010
With human language, the same utterance can have different meanings in different contexts. Nevertheless, listeners almost invariably converge upon the correct intended meaning. Th...
99
Voted
AUSDM
2007
Springer
15 years 9 months ago
2007
Springer
The efficient market hypothesis states that the market incorporates all available information to provide an accurate valuation of the asset at any given time. However, most models...
136
Voted
IQ
2007
15 years 5 months ago
2007
: Poor Information Quality (IQ) has a significant impact on the general performance of an organization. Investments in IT have had a great impact on the banking industry in recent ...
130
click to vote
DAGM
2010
Springer
15 years 3 months ago
2010
Springer
The selection of an optical flow method is mostly a choice from among accuracy, efficiency and ease of implementation. While variational approaches tend to be more accurate than lo...