11211 search results - page 386 / 2243 » Rank-Sensitive Data Structures |
160
click to vote
SAFECOMP
1998
Springer
15 years 10 months ago
1998
Springer
A method is described for the analysis and the verification of safety in software systems. The method offers a formal notation for describing the software structure, the means for ...
191
click to vote
AINA
2008
IEEE
15 years 8 months ago
2008
IEEE
A link farm is a set of web pages constructed to mislead the importance of target pages in search engine results by boosting their link-based ranking scores. In this paper, we int...
170
click to vote
EMNLP
2008
15 years 8 months ago
2008
Automatic processing of medical dictations poses a significant challenge. We approach the problem by introducing a statistical framework capable of identifying types and boundarie...
165
click to vote
CSREAEEE
2006
15 years 8 months ago
2006
An e-lesson is comprised of a "body" and a "view". The body is the actual content of the e-lesson and the assumption is that it is an html document. The view i...
183
click to vote
IASTEDSEA
2004
15 years 8 months ago
2004
Java applets run on a Virtual Machine that checks code's integrity and correctness before execution using a module called Bytecode Verifier. Java Card technology allows Java ...