4418 search results - page 122 / 884 » A Formal Approach to Computer Systems Requirements Documenta... |
177
click to vote
AIRS
2010
Springer
15 years 2 months ago
2010
Springer
The Slot Filling task requires a system to automatically distill information from a large document collection and return answers for a query entity with specified attributes (`slot...
140
click to vote
FTRTFT
1998
Springer
15 years 8 months ago
1998
Springer
A controversial issue in the formal methods community is the degree to which mathematical sophistication and theorem proving skills should be needed to apply a formal method. A fun...
129
click to vote
DEBS
2010
ACM
15 years 8 months ago
2010
ACM
Today’s organisations require techniques for automated transformation of the large data volumes they collect during their operations into operational knowledge. This requirement...
152
click to vote
JVA
2006
IEEE
15 years 10 months ago
2006
IEEE
With the rapid evolution of mobile and ubiquitous computing, small-scale devices like personal digital assistants, smart "converged" phones and laptops now dominate the ...
173
click to vote
ECIR
2011
Springer
14 years 8 months ago
2011
Springer
Recently, mean-variance analysis has been proposed as a novel paradigm to model document ranking in Information Retrieval. The main merit of this approach is that it diversifies t...