2488 search results - page 377 / 498 » An improvement in formal verification |
SIGIR
2009
ACM
15 years 8 months ago
2009
ACM
Among the retrieval models that have been proposed in the last years, the ESA model of Gabrilovich and Markovitch received much attention. The authors report on a significant imp...
110
Voted
LATA
2010
Springer
15 years 8 months ago
2010
Springer
We extend stochastic context-free grammars such that the probability of applying a production can depend on the length of the subword that is generated from the application and sho...
ICASSP
2008
IEEE
15 years 8 months ago
2008
IEEE
Component forensics is an emerging methodology for forensic analysis that aims at estimating the algorithms and parameters in each component of a digital device. This paper propos...
115
Voted
AIMSA
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. The problem of curriculum-based course timetabling is studied in this work. In addition to formally defining the problem, we present a hybrid solution algorithm (Adaptiv...
100
click to vote
ATAL
2007
Springer
15 years 7 months ago
2007
Springer
This paper proposes programming constructs to improve the practical application of existing BDI-based agent-oriented programming languages that have formal semantics. The proposed...