10602 search results - page 416 / 2121 » Weakly Useful Sequences |
173
click to vote
CAISE
2006
Springer
15 years 11 months ago
2006
Springer
Abstract. The development of critical systems requires a high assurance process from requirements to the running code. Formal methods, such as B, now provide industry-strength tool...
238
click to vote
CLOR
2006
15 years 11 months ago
2006
Many approaches to object recognition are founded on probability theory, and can be broadly characterized as either generative or discriminative according to whether or not the dis...
196
click to vote
FLOPS
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Outermost-needed rewriting/narrowing is a sound and complete optimal demand-driven strategy for the class of inductively sequential constructor systems. Its parallel exte...
192
click to vote
EMNLP
2008
15 years 9 months ago
2008
In recent years there has been substantial work on the important problem of coreference resolution, most of which has concentrated on the development of new models and algorithmic...
186
click to vote
SPLC
2008
15 years 9 months ago
2008
In this paper we propose a behavioural model, namely the Generalized Extended Modal Transition Systems, as a basis for the formalization of different notions of variability usuall...