4224 search results - page 99 / 845 » Reasoning about Choice |
176
click to vote
RE
2010
Springer
15 years 6 days ago
2010
Springer
Abstract Requirements Engineering (RE) research often ignores, or presumes a uniform nature of the context in which the system operates. This assumption is no longer valid in emerg...
136
click to vote
ICANN
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Some issues about the generalization of ANN training are investigated through experiments with several synthetic time series and real world time series. One commonly acce...
160
click to vote
CCR
2011
15 years 14 days ago
2011
HTTP (Hypertext Transport Protocol) was originally primarily used for human-initiated client-server communications launched from web browsers, traditional computers and laptops. H...
276
click to vote
ICFP
2009
ACM
16 years 6 months ago
2009
ACM
Functional logic programming and probabilistic programming have demonstrated the broad benefits of combining laziness (non-strict evaluation with sharing of the results) with non-...
154
click to vote
ATAL
2009
Springer
16 years 1 days ago
2009
Springer
We present a logic for reasoning about strategic games. The logic is a modal formalism, based on the Coalition Logic of Propositional Control, to which we add the notions of outco...