1026 search results - page 143 / 206 » Semantic Components for Timetabling |
132
click to vote
NLPRS
2001
Springer
15 years 7 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...
113
Voted
ISSS
2000
IEEE
15 years 7 months ago
2000
IEEE
The ever increasing complexity of embedded systems consisting of hardware and software components poses a challenge in verifying their correctness, New verification methods that o...
146
Voted
WETICE
1999
IEEE
15 years 6 months ago
1999
IEEE
In this paper, we address the problem of static slicing on binary executables for the purposes of the malicious code detection in COTS components. By operating directly on binary ...
116
click to vote
VL
1997
IEEE
15 years 6 months ago
1997
IEEE
The large number of programming languages in the world is a consequence of the broad spectrum of human preferences for different notational styles and semantic models, which depen...
102
click to vote
DL
1994
Springer
15 years 6 months ago
1994
Springer
In this chapter we argue that hyperdocuments administered by digital libraries have to be structured according to standardized storage and exchange formats in order to allow for t...