Sciweavers

525 search results - page 43 / 105
» Automated Postediting of Documents
Sort
View
DLOG
1997
15 years 5 months ago
Dwebic: An Intelligent Search Engine based on Default Description Logics
In companies a large amount of information is maintained that is accessible via network communication tools. This makes searching for a particular piece of information a di cult t...
Patrick Lambrix, Nahid Shahmehri, Niclas Wahll&oum...
144
Voted
CAV
2011
Springer
253views Hardware» more  CAV 2011»
14 years 7 months ago
HAMPI: A String Solver for Testing, Analysis and Vulnerability Detection
Abstract. Many automatic testing, analysis, and verification techniques for programs can effectively be reduced to a constraint-generation phase followed by a constraint-solving ...
Vijay Ganesh, Adam Kiezun, Shay Artzi, Philip J. G...
EWCBR
1998
Springer
15 years 8 months ago
WWW Assisted Browsing by Reusing Past Navigations of a Group of Users
In this paper, we present our case-based browsing advisor for the Web, called BROADWAY. BROADWAY follows a group of users during their navigations and supports an indirect collabor...
Michel Jaczynski, Brigitte Trousse
WWW
2001
ACM
16 years 4 months ago
On integrating catalogs
We address the problem of integrating documents from different sources into a master catalog. This problem is pervasive in web marketplaces and portals. Current technology for aut...
Rakesh Agrawal, Ramakrishnan Srikant
RIDE
2003
IEEE
15 years 9 months ago
Exploiting multi-lingual text potentialities in EBMT systems
Translating documents from a source to a target language is a repetitive activity. The attempt to automate such a difficult task has been a long-term scientific dream. Among the...
Federica Mandreoli, Riccardo Martoglia, Paolo Tibe...