4327 search results - page 716 / 866 » Web presentation system using RST events |
152
click to vote
IUI
2012
ACM
14 years 1 months ago
2012
ACM
Visual programming languages (VPLs) provide notations for representing both the intermediate and the final results of a knowledge engineering process. Whereas some VPLs particula...
161
click to vote
COOTS
1998
15 years 6 months ago
1998
The Java programming language has gained substantial popularity in the past two years. Java's networking features, along with the growing number of Web browsers that execute J...
152
click to vote
WWW
2005
ACM
16 years 6 months ago
2005
ACM
This paper is concerned with the problem of definition search. Specifically, given a term, we are to retrieve definitional excerpts of the term and rank the extracted excerpts acc...
160
click to vote
SAC
2010
ACM
16 years 8 days ago
2010
ACM
Byzantine consensus in asynchronous message-passing systems has been shown to require at least 3f + 1 processes to be solvable in several system models (e.g., with failure detecto...
207
click to vote
ICSE
2007
IEEE-ACM
15 years 11 months ago
2007
IEEE-ACM
ACL2 is the latest inception of the Boyer-Moore theorem prover, the 2005 recipient of the ACM Software System Award. In the hands of an expert, it feels like a finely tuned race ...