6016 search results - page 827 / 1204 » The semantics of graphical languages |
218
click to vote
NLPRS
2001
Springer
15 years 12 months ago
2001
Springer
We propose a new ensembling method of Support Vector Machines (SVMs) based on Feature Space Restructuring. In the proposed method, the weighted majority voting method is applied f...
186
click to vote
SEKE
2001
Springer
15 years 12 months ago
2001
Springer
ct 7 Applying finite-state verification techniques to software systems looks attractive because they are capable of detecting very subtle 8 defects in the logic design of these s...
181
click to vote
APLAS
2000
ACM
15 years 12 months ago
2000
ACM
Previous studies on safety of program transformations with respect to performance considered two criteria: preserving performance within a constant factor and preserving complexit...
181
click to vote
POPL
2000
ACM
15 years 12 months ago
2000
ACM
Many interactive Web services use the CGI interface for communication with clients. They will dynamically create HTML documents that are presented to the client who then resumes t...
214
click to vote
POPL
1999
ACM
15 years 12 months ago
1999
ACM
Notions of program dependency arise in many settings: security, partial evaluation, program slicing, and call-tracking. We argue that there is a central notion of dependency commo...