2135 search results - page 338 / 427 » An Operational Semantics for JavaScript |
109
click to vote
WWW
2001
ACM
16 years 3 months ago
2001
ACM
Current-day crawlers retrieve content only from the publicly indexable Web, i.e., the set of Web pages reachable purely by following hypertext links, ignoring search forms and pag...
212
Voted
PLDI
2009
ACM
16 years 3 months ago
2009
ACM
Languages such as Java and C#, as well as scripting languages like Python, and Ruby, make extensive use of Collection classes. A collection implementation represents a fixed choic...
239
click to vote
ICLP
2009
Springer
16 years 3 months ago
2009
Springer
We extend to disjunctive logic programs our previous work on computing loop formulas of loops with at most one external support. We show that for these logic programs, loop formula...
109
click to vote
KDD
2003
ACM
16 years 2 months ago
2003
ACM
Classification is a well-established operation in text mining. Given a set of labels A and a set DA of training documents tagged with these labels, a classifier learns to assign l...
129
Voted
VLSID
2002
IEEE
16 years 2 months ago
2002
IEEE
Satisfiability of complex word-level formulas often arises as a problem in formal verification of hardware designs described at the register transfer level (RTL). Even though most...