9405 search results - page 437 / 1881 » Computing a Model of Set Theory |
207
click to vote
EACL
2009
ACL Anthology
15 years 4 months ago
2009
ACL Anthology
like text summarisation requires a means of producing novel summary sentences. In order to improve the grammaticality of the generated sentence, we model a global (sentence) level...
178
click to vote
SIGIR
2009
ACM
16 years 1 months ago
2009
ACM
Recent work in supervised learning of term-based retrieval models has shown significantly improved accuracy can often be achieved via better model estimation [2, 10, 11, 17]. In ...
220
click to vote
ECBS
2010
IEEE
15 years 11 months ago
2010
IEEE
The complexity of software in embedded systems has increased significantly over the last years so that software verification now plays an important role in ensuring the overall pr...
160
click to vote
HICSS
2002
IEEE
15 years 12 months ago
2002
IEEE
Teamwork is always challenging. Adding the complication of problem solving and software design only amplifies this challenge. The challenges of developing software as a team can b...
179
click to vote
WWW
2001
ACM
16 years 7 months ago
2001
ACM
XML is poised to take the World-Wide-Web to the next level of innovation. XML data, large or small, with or without associated schema, will be exchanged between increasing number ...